用Cabal升级到Idris v 1.0？

考虑：用Cabal升级到Idris v 1.0？

$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？

来源

2017-06-21 Kevin Meredith

添加伊德里斯符号链接'在/ usr/bin'： '/根/ .cabal /斌/ idris' – noobninja

此外，添加一行来结束你的'.bashrc'文件。例如'export PATH =“/ root/.cabal/bin：$ PATH”'取决于'.cabal'目录的位置。 – noobninja

谢谢，@noobninja。谨慎发布信用？另外，为什么我的'1.0'安装不能使用'$ PATH'？ –

不同的地方.cabal目录位于...

添加伊德里斯符号链接/usr/bin：文本文件与串/root/.cabal/bin/idris它命名idris。具体路径：/usr/bin/idris。
添加一行到您的.bashrc文件的末尾：export PATH="/root/.cabal/bin:$PATH"

我的Linux发行版Ubuntu的是LTS 16.04.2。

来源

2017-07-03 15:55:31 noobninja

用Cabal升级到Idris v 1.0？

回答

相关问题