Ubuntuでghci 6.8.2を使用しています。ghci は、初期設定を行うことができる構成ファイルを使用しますか?. 例: :set prompt "ghci> ".
8955 次
4 に答える
73
〜/ .ghciに追加:set prompt "ghci> "してみましたか？
于 2010-10-19T12:06:18.267 に答える
46
@hvr の回答を適用すると、次の警告が表示されました。
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
解決策はchmod g-w ~/.ghci.
于 2013-07-14T03:05:21.857 に答える
0
@truthadjustrの回答では、コマンドを実行するたびにプレリュードが表示されます。
:set prompt "\ESC[1;31m\STXλ> \ESC[m\STX"
このコマンドは問題を解決します。
于 2020-06-12T03:51:37.377 に答える