我在Ubuntu上使用的是ghci 6.8.2。ghci是否使用配置文件,我们可以在其中进行一些初始设置?例如::set prompt "ghci> "。
发布于 2010-10-19 20:06:18
您是否尝试过在~/.ghci中添加:set prompt "ghci> "
发布于 2013-07-14 11:05:22
在应用了@hvr的答案后,我得到了以下警告:
*** WARNING: ~/.ghci is writable by someone else, IGNORING!解决方案是chmod g-w ~/.ghci。
发布于 2018-11-02 06:00:38
在我的~/.ghci配置文件中。我有下面这行代码:
:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"
下面是我的ghci提示符的样子:
https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8
在配置文件中,我临时注释掉了:set +m。
https://stackoverflow.com/questions/3388261
复制相似问题