使用Cabal升级到Idris v 1.0？

Question

假设：

$idris -v
0.99

我想升级到版本1.但是，我通过运行cabal install idris盲目地尝试升级以查看此输出：

$cabal install idris
Resolving dependencies...
All the requested packages are already installed:
idris-1.0
Use --reinstall if you want to reinstall anyway.

所以，似乎我已经安​​装了idris版本1，但我没有按照idris -v输出使用它？

根据我的情况，我如何使用Idris v1？

Answer 1

取决于.cabal目录的位置......

• 将一个Idris符号链接添加到/usr/bin：一个文本文件，其中包含名为/root/.cabal/bin/idris的字符串idris。具体路径：/usr/bin/idris。
• 在.bashrc文件末尾添加一行：export PATH="/root/.cabal/bin:$PATH"

我的Linux发行版是Ubuntu 16.04.2 LTS。