10

^W GHCi が Readline をサポートしており、 や などのキーバインドが期待どおりに機能することは知って^Uいます。

Bashがinputrcを処理する方法で、ghciがキーバインディングのカスタマイズをサポートしているかどうか疑問に思います。

4

2 に答える 2

14

GHCのバージョンは?GHCi は readline の使用をやめ、6.10 前後でlibeditを使用し始め、6.12 前後でhaskelineを使用するようになりました。

libedit は で設定できます~/.editrc。同様に Haskeline には~/.haskeline. たとえば、私は

# ~/.editrc (libedit 用)
で編集
bind ^R em-inc-search-prev
bind ^S em-inc-search-next
bind ^[[5~ ed-search-prev-history
bind ^[[6~ ed-search-next-history

私に合わせて

# ~/.inputrc (readline 用)
"\e[5~": 履歴検索後方
"\e[6~": ヒストリー検索フォワード
于 2009-12-01T14:32:21.870 に答える