Sé que ghci admite readline, y las combinaciones de teclas como^W y^U funcionan como se esperaba. Pero me pregunto si ghci admite la personalización de combinaciones de teclas, al igual que la forma en que bash lidia con inputrc.Cómo personalizar las combinaciones de teclas de lectura de ghci
Gracias por cualquier comentario.
¿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 respuesta
# ~/.inputrc (for readline) "\e[5~": history-search-backward "\e[6~": history-search-forward
@ ephemient de arriba también ayuda con la nueva obra 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 antigua que solía trabajar en el interior de MySQL:
$ ~/.inputrc:
"\e[A":history-search-backward
"\e[B":history-search-forward
(mi única molestia ahora es que si sólo quiero para desplazarse y no buscar, tengo que escribir una "." primero para unir cada línea).
Gracias por su amable ayuda, efímero! – Adaptee