Для ответа на ваш первый вопрос ответ да ... и нет. Да, потому что это часть синтаксиса, используемая программой менеджера запуска. Нет, потому что он не делает его файлом .desktop.
Второй вопрос: ответ будет да при создании файла, но вы можете его отредактировать, чтобы удалить .desktop. Это связано с тем, что когда Ubuntu создает файл, в двоичных данных говорится, что это файл .desktop. Затем, если вы отредактируете его, он не обновит его, и он все равно будет работать. Если вы не найдете нужный двоичный код, а не создание файла.
Кажется, что вы должны установить пакет openmpi-bin, который предоставляет / usr / bin / ompi_info исполняемый файл:
sudo apt-get install openmpi-bin
Кажется, что вы должны установить пакет openmpi-bin, который предоставляет / usr / bin / ompi_info исполняемый файл:
sudo apt-get install openmpi-bin