bash - 如何在 Ubuntu 上启动 `coqide`？

Question

我已经安装了coq和 CoqIDE通过 opam ，按照说明 here .
如说明中所述，每次我必须

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 位

奥帕姆 2.0

coq 8.9.0

Answer 1

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

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