52

我在 Ubuntu 上使用 ghci 6.8.2。ghci 是否使用配置文件,我们可以在其中进行一些初始设置?例如::set prompt "ghci> "

4

4 回答 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

@truthadjustr 的回答中,每次运行任何命令时都会出现前奏。

:set prompt "\ESC[1;31m\STXλ> \ESC[m\STX"

这个命令解决了这个问题。

于 2020-06-12T03:51:37.377 回答