GHCiのReadlineキーバインドをカスタマイズする方法は?
質問
GHCiがReadlineをサポートし、 ^ W
や ^ U
などのキーバインドが期待どおりに機能することは知っています。
Bashがinputrcを処理する方法で、ghciがキーバインドのカスタマイズをサポートしているかどうかは疑問です。
解決
GHCのバージョンは何ですか? GHCiはreadlineの使用を停止し、6.10および
libeditは 〜/ .editrc で構成できますcode>
;同様に、Haskelineには 〜/ .haskeline
があります。たとえば、私は
# ~/.editrc (for libedit) edit on 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 (for readline) "\e[5~": history-search-backward "\e[6~": history-search-forward
他のヒント
上記の
@ephemientの回答は、readlineからlibeditに切り替えたMySQLの新しいビルドにも役立ちます。使用しました
$ ~/.editrc:
bind ^[[A ed-search-prev-history
bind ^[[B ed-search-next-history
MySQL内で使用されていた古いバージョンと一致させるため:
$ ~/.inputrc:
"\e[A":history-search-backward
"\e[B":history-search-forward
(私の唯一の迷惑は、スクロールせずに検索したい場合は、最初に「。」を入力してすべての行に一致させる必要があることです。
所属していません StackOverflow