Как установить привязку клавиш в UTOP

Question

Я думаю, что мне нужно каким-то образом отредактировать мой файл ~/.lambda-term-inputrc, но я не знаю, что на самом деле в нем записать.

Answer 1

Я заставил его работать аналогично тому, что предложил ivg, вместо этого изменив Ci с помощью вкладки "tab: insert(), insert(), insert(), insert()"

Answer 2

Хотя я абсолютно не уверен, что это хорошая идея, чтобы связать <tab> к пробелам в интерактивной оболочке, где <tab> используется для завершения, вы можете достичь этого, используя следующие ~/.lambda-term-inputrc,

[read-line]
[edit]
C-i: insert( ), insert( ), insert( ), insert( )

Объяснение здесь C-i это способ сказать Emacs <tab>и серия insert( ) вставит четыре пробела вместо табуляции.

PS Однако это может не сработать, поскольку лямбда-термин может относиться особо.