Comment personnaliser les raccourcis clavier Readline de GHCi?

Question

Je sais que GHCi prend en charge Readline et que les liaisons de clé telles que ^ W et ^ U fonctionnent comme prévu.

Je me demande si ghci prend en charge la personnalisation des liaisons de clé de la manière dont Bash traite inputrc.

Answer 1

Quelle est votre version de GHC? GHCi a cessé d’utiliser readline et a commencé à utiliser libedit vers 6.10 et haskeline autour de 6.12.

libedit peut être configuré dans ~ / .editrc ; De même, Haskeline a ~ / .haskeline . Par exemple, j'ai

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

pour correspondre à mon

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

Answer 2

La réponse de

@ ephemient ci-dessus contribue également aux nouvelles versions de MySQL qui sont passées de readline à libedit. J'ai utilisé

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

pour correspondre à mon ancienne version qui fonctionnait auparavant dans MySQL:

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

(Mon seul ennui à présent est que si je veux juste faire défiler et non chercher, je dois d'abord taper un "." pour correspondre à chaque ligne).