Ubuntuでghci6.8.2を使用しています。 ghciは、初期設定を行うことができる構成ファイルを使用していますか?例::set Prompt "ghci> "
。
〜/ .ghci に:set Prompt "ghci> "
を追加してみましたか?
@hvrの回答を適用すると、次の警告が表示されます。
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
解決策はchmod g-w ~/.ghci
。
私の~/.ghci
構成ファイル。私は次の行を持っています:
:set Prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"
そして、これが私のghci
プロンプトがどのように見えるかです:
https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8
その設定ファイルで、一時的に:set +m
をコメントアウトしました。