如何在 UTOP 中设置 tab space 键绑定
How to set tab space keybinding in UTOP
我想我必须以某种方式编辑我的 ~/.lambda-term-inputrc 文件，但我不知道实际要在其中写入什么。
虽然我完全不确定将 <tab> 绑定到交互式 shell 中的空格是否是个好主意，其中 <tab> 用于完成，但您可以实现此目的使用以下 ~/.lambda-term-inputrc、
[read-line]
[edit]
C-i: insert( ), insert( ), insert( ), insert( )
说明一下，这里的C-i是Emacs的表达方式<tab>，一连串的insert( )会插入四个空格，而不是一个制表。
P.S。但是，这可能行不通，因为 lambda-term 可能会特殊处理。
我通过与 ivg 建议的类似步骤，而不是用 tab 更改 C-i，使其工作
"tab: insert( ), insert( ), insert( ), insert( )"
我想我必须以某种方式编辑我的 ~/.lambda-term-inputrc 文件，但我不知道实际要在其中写入什么。
虽然我完全不确定将 <tab> 绑定到交互式 shell 中的空格是否是个好主意，其中 <tab> 用于完成，但您可以实现此目的使用以下 ~/.lambda-term-inputrc、
[read-line]
[edit]
C-i: insert( ), insert( ), insert( ), insert( )
说明一下，这里的C-i是Emacs的表达方式<tab>，一连串的insert( )会插入四个空格，而不是一个制表。
P.S。但是，这可能行不通，因为 lambda-term 可能会特殊处理。
我通过与 ivg 建议的类似步骤，而不是用 tab 更改 C-i，使其工作 "tab: insert( ), insert( ), insert( ), insert( )"