Как установить привязку клавиш в 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 Однако это может не сработать, так как лямбда-термин может относиться особенно.