Вы можете создать свои собственные coqide.desktop в ~/.local/share/applications, имитируя те, которые присутствуют в /usr/share/applications.
Сложность состоит в том, что установка opam может включать несколько переключателей, каждый с одной версиейCoq.Таким образом, не ясно, на какой двоичный файл должна указывать короткая ссылка, которую вы хотите создать.
Я вижу два решения:
, выбирая версию Coq, присутствующую втекущий глобальный переключатель опера.Это то, что я использовал несколько месяцев назад.Если текущий коммутатор opam не содержит двоичный файл Coq, запуск CoqIDE из короткой ссылки молча завершается неудачей.Я думаю, что использовал команду, подобную zsh -ic coqide (поскольку zsh - моя основная оболочка, вы можете адаптировать эту команду к своей собственной оболочке).Я звоню zsh, чтобы он загрузил среду opam и смог найти нужную coqide.-i может быть и не нужен, но я вспомнил, что без него zsh не загружал среду opam в моем случае.
, выбирая версию Coq, присутствующую в данном случае.переключатель.Вам просто нужно адаптировать предыдущую точку так, чтобы перед вызовом coqide был выбран правильный переключатель.Это дает
zsh -ic "eval $(opam env --switch myswitch) coqide"
Я не уверен, что запуск исполняемого файла путем вызова оболочки является хорошей практикой (я бы сказал, что нет), но по крайней мере это работает, и я делаюне вижу, как загрузить среду opam без такого взлома.