ghciconfiguration文件

我在Ubuntu上使用ghci 6.8.2。 ghci使用configuration文件，我们可以做一些初始设置？ 例如：： :set prompt "ghci> " 。

Answer 1

你尝试添加:set prompt "ghci> " 〜/ .ghci ？

Answer 2

应用@ hvr的答案我得到了以下警告：

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

解决办法是chmod gw ~/.ghci 。