Wie Readline keybindings von GHCi anpassen?

Question

Ich weiß GHCi unterstützt Readline und keybindings wie ^W und ^U Arbeit wie erwartet.

ich frage mich, ob GHCI Unterstützung Anpassung von keybindings die Art und Weise Bash beschäftigt sich mit inputrc.

Answer 1

Was ist Ihr GHC-Version? GHCi gestoppt Readline- mit und begann mit libedit um 6.10 und haskeline um 6.12.

libedit kann in ~/.editrc konfiguriert werden; In ähnlicher Weise hat Haskeline ~/.haskeline . Zum Beispiel, ich habe

# ~/.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

meine übereinstimmen

# ~/.inputrc (for readline)
"\e[5~": history-search-backward
"\e[6~": history-search-forward

Answer 2

@ ephemient Antwort oben hilft auch mit neueren Versionen von MySQL, die von Readline- eingeschaltet hat, um zu libedit. Früher habe ich

$ ~/.editrc:
bind ^[[A ed-search-prev-history
bind ^[[B ed-search-next-history

meine alte Version übereinstimmen, die im Inneren MySQL verwendet arbeiten:

$ ~/.inputrc:
"\e[A":history-search-backward
"\e[B":history-search-forward

(meine einzige Ärgernis ist jetzt, dass wenn ich will nur bewegen und nicht zu suchen, ich habe einen geben. „“ Zuerst jede Zeile passen).