收藏夹中缺少 Coq IDE 图标

Question

我从 here 安装了 Coq 和 Coq IDE .一切都很顺利。我从终端启动了 Coq IDE，然后右键单击它以将其添加到我的收藏夹，但这是不可能的。当我在我的程序中寻找它的图标时，它不在那里。我在 Ubuntu 18.04 上，可以吗？

Answer 1

你可以在 ~/.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 来运行可执行文件是一种好的做法(我会说它不是)，但至少它有效，而且我不知道如何在没有这种 hack 的情况下加载 opam 环境。