开发者

Persistent console history in ghci

开发者 https://www.devze.com 2023-01-26 15:25 出处:网络
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.

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

精彩评论

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