如何在 Ubuntu 上启动 `coqide`？

Question

我已经按照 here.

的说明通过 opam 安装了 coq 和 CoqIDE

如说明中所述，每次我都必须

export OPAMROOT=~/opam-coq.8.9.0

eval `opam config env`

在通过 coqide 启动 CoqIDE 之前。

否则报错

Command coqide not found.

如何配置我的系统，以便我每次都可以直接通过 coqide 启动 coqide？将 export 和 eval 命令添加到 ~/.bashrc 和 source ~/.bashrc 对我不起作用。

---

配置：

• Ubuntu 18.04.2 LTS，64 位
• opam 2.0
• coq 8.9.0

Answer 1

您可以 运行 opam init 用正确的行修改您的 .bash_profile。这将避免在每个终端中需要 eval `opam config env`（或者更确切地说是版本 2 中的 eval $(opam env)）。

如果您使用非标准 OCAMLROOT，在我看来您必须在您的 bash 配置文件之一中添加适当的 export OCAMLROOT 行（我假设它必须在 opam init).

添加的行之前阅读