我在 Ubuntu 上使用 ghci 6.8.2。ghci 是否使用配置文件,我们可以在其中进行一些初始设置?例如::set prompt "ghci> "
。
问问题
8955 次
4 回答
73
您是否尝试添加:set prompt "ghci> "
到~/.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 回答
1
在我的~/.ghci
配置文件中。我有以下行:
:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"
这是我的ghci
提示的样子:
https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8
在那个配置文件中,我暂时注释掉了:set +m
.
于 2018-11-01T22:00:38.040 回答
0
于 2020-06-12T03:51:37.377 回答