ghci配置文件

Question

我在Ubuntu上使用ghci 6.8.2。 ghci是否使用我们可以进行初始设置的配置文件？例如：:set prompt "ghci> "。

Answer 1

您是否尝试将:set prompt "ghci> "添加到~/.ghci？

Answer 2

应用@ hvr的回答后，我收到了以下警告：

*** WARNING: ~/.ghci is writable by someone else, IGNORING!

解决方案是chmod g-w ~/.ghci。

Answer 3

在我的~/.ghci配置文件中。我有以下一行：

:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"

这是我的ghci提示符如下：

https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8

在该配置文件中，我暂时将:set +m注释掉。

Answer 4

在@truthadjustr's answer中，每当您运行任何命令时，序幕就会出现。

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

此命令解决了问题。