收藏夹中缺少Coq IDE图标

我从安装了Coq和Coq IDE。一切都很顺利。

---

我从终端启动了Coq IDE，然后右键单击它将其添加到我的收藏夹中，但这是不可能的。当我在程序中查找它的图标时，它不在那里。我在Ubuntu 18.04上，可以吗？

你可以模仿

~/.local/share/applications

中出现的那些，在

~/.local/share/applications

中创建自己的

coqide.desktop

困难在于

opam

安装可能包括多个交换机，每个交换机都有一个版本的Coq。因此，不清楚要创建的短链接必须指向哪个二进制文件

我看到两种解决办法：

• 选择当前全局opam开关中存在的Coq版本。这是我一年前几个月用的。如果当前opam开关不包含Coq二进制文件，则从短链接启动CoqIDE将失败。我想我使用了一个类似于

  zsh-iccoqide

  的命令（因为

  zsh

  是我的主shell，您可以将此命令改编为您自己的shell）。我调用

  zsh

  ，以便它加载opam环境并找到正确的

  coqide

  。

  -i

  可能不是必需的，但我记得如果没有它，

  zsh

  就不会在我的案例中加载opam环境

• 选择给定开关中存在的Coq版本。您只需调整上一点，以便在调用

  coqide

  之前选择右开关。这给

  zsh -ic "eval $(opam env --switch myswitch) coqide"
  

---

我不确定通过调用shell来运行可执行文件是否是一种好的做法（我会说它不是），但至少它是有效的，我不知道如何在没有这种攻击的情况下加载opam环境。

您需要coq ide的编译版本还是只需要coq ide在您的机器上工作？实际上，在第二种情况下，您还可以避免调用

opam

，因为您静态地知道路径。