Comment personnaliser les raccourcis clavier readline de ghci

Question

Je sais que ghci prend en charge readline et que les raccourcis clavier tels que^W et^U fonctionnent comme prévu. Mais je me demande si les ghci supportent la personnalisation des raccourcis clavier, tout comme la façon dont bash traite avec inputrc?

Merci pour vos commentaires.

Answer 1

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

libedit peut être configuré en ~/.editrc; De même, Haskeline a ~/.haskeline. Par exemple, je

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

@ réponse de ephemient ci-dessus aide aussi avec les nouveaux builds de MySQL qui sont passés de readline à Libedit. Je

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

pour correspondre à mon ancienne version qui permet de travailler à l'intérieur mysql:

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

(mon seul ennui est maintenant que si je veux juste faire défiler et ne recherche pas, je dois taper un "." d'abord pour correspondre à chaque ligne).