Постоянная история консоли в ghci - PullRequest
10 голосов
/ 22 ноября 2010

6.12.2 у меня это просто сработало, я думаю.Но теперь я нахожусь в новом окне с 6.12.3 (универсальный двоичный файл Unix), и, очевидно, некоторые настройки мне не хватает.

У меня есть история консоли в ghci в течение одного сеанса (т.е. выполнениеghci), но эта история не сохраняется и не перезагружается между сессиями, как это было раньше.Я не могу отследить, использует ли ghci readline, editline или haskeline, поэтому я не совсем уверен, с чего начать, чтобы это исправить.

Ответы [ 2 ]

8 голосов
/ 23 ноября 2010

Это может не сильно помочь, но вы проверили, записывается ли файл ghci_history в ~/.ghc/ghci_history?

0 голосов
/ 11 сентября 2015

Ответ Шона Зеефрида не работает в системах Windows, поскольку ghc имеет свой дом в %APPDATA%\ghci (в моем случае C:\Users\me\AppData\Roaming\ghci).

Файл можно найти втам: ghci_history

...