¿Cómo personalizar las combinaciones de teclas Readline de GHCi?

Question

Sé que GHCi admite Readline, y las combinaciones de teclas como ^ W y ^ U funcionan como se esperaba.

Me pregunto si ghci admite la personalización de las combinaciones de teclas de la forma en que Bash trata con inputrc.

Answer 1

¿Cuál es su versión de GHC? GHCi dejó de usar readline y comenzó a usar libedit alrededor de 6.10 y haskeline alrededor de 6.12.

libedit se puede configurar en ~ / .editrc ; de manera similar, Haskeline tiene ~ / .haskeline . Por ejemplo, tengo

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

para que coincida con mi

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

Answer 2

La respuesta anterior de

@ ephemient también ayuda con las nuevas versiones de MySQL que han cambiado de readline a libedit. Solía ??

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

para que coincida con mi versión anterior que solía funcionar dentro de MySQL:

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

(mi única molestia ahora es que si solo quiero desplazarme y no buscar, tengo que escribir un ". " primero para que coincida con cada línea).