0
は考える：私は盲目的に、この出力を参照するcabal install idrisを実行して、アップグレードしようとした私は、バージョン1にアップグレードしたいCabalでIdris v 1.0にアップグレードしますか？
$idris -v
0.99
はしかし、：だから
$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をどのように使用できますか？ .cabal DIRが置かれている場所に応じて
'は/ usr/bin'にイドリスのシンボリックリンクを追加します。あなたの' .bashrc'ファイルの最後に行を追加し、 また、 '/ルート/ .cabal/binに/ idris' – noobninja
。何かのように、 'export PATH ="/root/.cabal/bin：$ PATH "' '.cabal'ディレクトリがどこにあるかによって異なります。 – noobninja
ありがとう、@noobninja。クレジットのためのポストケア？また、なぜ私の '1.0 'のインストールが' $ PATH'に行っていないのでしょうか？ –