Как настроить привязки клавиш Readline GHCi?

Ctrl + Сдвиг + V вставляют / цикл через кольцо буфера обмена

10
задан Mateusz Piotrowski 23 March 2018 в 11:28
поделиться

1 ответ

Какая у вас версия GHC? GHCi прекратил использовать readline и начал использовать libedit около 6.10 и haskeline около 6.12.

libedit можно настроить в ~ / .editrc ; аналогично в Haskeline есть ~ / .haskeline . Например, у меня есть

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

, чтобы соответствовать моему

# ~/.inputrc (for readline)
"\e[5~": history-search-backward
"\e[6~": history-search-forward
14
ответ дан 3 December 2019 в 22:37
поделиться
Другие вопросы по тегам:

Похожие вопросы: