10

6.12.2 では、これでうまくいったと思います。しかし今、私は 6.12.3 (generic unix binary) の新しいボックスを使用していますが、明らかに不足している設定があります。

単一のセッション (つまり、ghci の実行) 内で ghci にコンソール履歴がありますが、以前のように、この履歴は保存されず、セッション間で再ロードされません。ghciがreadline、editline、またはhaskelineを使用しているかどうかを追跡できないため、これを修正するためにどこから始めればよいかわかりません。

4

2 に答える 2

9

これはあまり役に立たないかもしれませんが、ghci_history ファイルが に書き込まれているかどうかを確認しました~/.ghc/ghci_historyか?

于 2010-11-22T23:37:10.143 に答える
0

Sean Seefried の回答は Windows システムでは機能しません。これは、ghc のホームが(%APPDATA%\ghci私の場合はC:\Users\me\AppData\Roaming\ghci) にあるためです。

ファイルは次の場所にあります。ghci_history

于 2015-09-11T05:36:33.090 に答える