开发者

Persistent console history in ghci

On 6.12.2, this just worked for me, I think. But now I'm on a new box with 6.12.3 (generic unix binary), and there's obviously some setting I'm missing.

I have a console history in ghci within a single session (i.e. execution of ghci), but this history isn't saved and reloaded between sessions, as it used to be. I can't keep track if ghci is using readline, edi开发者_StackOverflow中文版tline, or haskeline even, so I'm not quite sure where to start in terms of fixing this.


This might not be of much help but have you checked whether the ghci_history file is being written to in ~/.ghc/ghci_history?


The Sean Seefried's answer does not work in Windows systems because ghc has its home in %APPDATA%\ghci (in my case, C:\Users\me\AppData\Roaming\ghci).

The file can be found in there: ghci_history

0

上一篇:

下一篇:

精彩评论

暂无评论...
验证码 换一张
取 消

最新问答

问答排行榜