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。