パラメータexecutable-profiling
は、いくつかの点でprofiling
に改名されているように見えるを得ました。設定パラメータには他にもいくつかの変更があります。私がする必要があったのはexecutable-profiling
からprofiling
へ~/.cabal/config
で変更して、私のカバールのインストールをやり直してください。
しかし、私は知らなかった先験的どのような変更があった。だから私のソリューション*は:
mv ~/.cabal/config ~/.cabal/config.BACKUP
cabal update
新しいデフォルトの設定ファイルを作成します。
~/.cabal/config.BACKUP
から設定を保存するように~/.cabal/config
を編集します。executable-profiling
ではなく、次の手順を実行します。
rm ~/.cabal/config
cabal update
cabal --no-require-sandbox install cabal-install
は、新しいデフォルトの設定ファイルを作成します。新しいデフォルト設定ファイルが作成されるとすぐにCTRL-cを押すことができます。
~/.cabal/config.BACKUP
から設定を保存するように~/.cabal/config
を編集してください。今後も続けたいと思います。
EDIT:私はちょうどオーダーメイドのこのような状況のためと思われる秘密結社コマンドuser-config
を、発見しました*。詳細については、cabal help user-config
と入力してください。