Come personalizzare l'associazione di tasti readline di ghci

Question

So che ghci supporta readline e le combinazioni di tasti come^W e^U funzionano come previsto. Ma mi chiedo se ghci supporti la personalizzazione delle combinazioni di tasti, proprio come il modo in cui bash si occupa di inputrc?

Grazie per qualsiasi feedback.

Answer 1

Qual è la tua versione di GHC? GHCi ha smesso di usare readline e ha iniziato a utilizzare libedit attorno al 6.10 e allo haskeline intorno al 6.12.

libedit può essere configurato in ~/.editrc; allo stesso modo, Haskeline ha ~/.haskeline. Ad esempio, ho

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

per abbinare rispondere alla mia

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

Answer 2

@ di ephemient sopra aiuta anche con le nuove build di MySQL, che sono passati da readline a libedit. Ho usato

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

per abbinare la mia vecchia versione che ha usato per lavorare all'interno mysql:

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

(il mio unico problema ora è che se voglio solo scorrere e non cercare, devo digitare un "." prima di abbinare ogni linea).