2010-08-02 79 views
51

我在Ubuntu上使用ghci 6.8.2。 ghci使用配置文件,我們可以做一些初始設置?例如::set prompt "ghci> "ghci配置文件

回答

72

您是否試過將:set prompt "ghci> "添加到~/.ghci

+0

對不起,這樣一個基本的問題,但我不明白:什麼是.ghci文件的全名?準確地把這個文件放在哪裏?我試着把這個文件放在haskell代碼文件的附近,但ghci似乎沒有讀取.ghci文件。 – awllower 2015-02-26 05:14:02

+0

在Windows中,您將該文件放在您的用戶目錄中。例如。 'C:\用戶\ YourUsername \'。 – MasterMastic 2015-04-02 08:09:00

45

已經應用於@ HVR的答案,我得到了以下警告:

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

的解決方案是chmod g-w ~/.ghci