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.
La solution
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
Autres conseils
@ 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).