我从here安装了Coq和Coq IDE。一切顺利。 我从终端启动了Coq IDE，然后右键单击它将其添加到我的收藏夹中，这是不可能的。当我在程序中寻找它的图标时，它并不存在。我使用Ubuntu 18.04，可以吗？
答案 0 :(得分：2)
您可以通过模仿coqide.desktop中存在的内容来在~/.local/share/applications中创建自己的/usr/share/applications。
困难之处在于opam安装可能包括多个开关，每个开关都带有一个Coq版本。因此，不清楚要创建的短链接必须指向哪个二进制文件。
我看到两种解决方案：
选择当前全局opam开关中存在的Coq版本。那是我一年前几个月使用的。如果当前的opam开关不包含Coq二进制文件，则从短链接中启动CoqIDE会以静默方式失败。我想我使用了类似于zsh -ic coqide的命令（因为zsh是我的主要shell，因此您可以将该命令改编为自己的shell）。我致电zsh，以便它加载opam环境并可以找到正确的coqide。 -i可能不是必需的，但我记得没有它，zsh并没有在我的情况下加载opam环境。
选择给定交换机中存在的Coq版本。您只需调整上一点，以便在调用coqide之前选择正确的开关。这给出了
zsh -ic "eval $(opam env --switch myswitch) coqide"
我不确定通过调用Shell运行可执行文件是否是一种好习惯（我会说不是），但是至少它能正常工作，而且我不知道如何在没有此类黑客的情况下加载opam环境。 / p>