如何在OCaml顶层环境utop中禁用自动补全建议栏?
关闭utop自动补全建议栏的方法
临时关闭(仅当前会话生效)
在utop的顶层环境中直接执行以下命令:
#utop_config set auto_completion false;;
执行后当前会话的自动补全建议栏会立即关闭,重启utop后将恢复默认设置。
永久关闭(所有会话生效)
- 定位utop配置文件:
- Linux/macOS系统默认路径为
~/.utoprc - Windows系统默认路径为
%APPDATA%/utop/utoprc
- Linux/macOS系统默认路径为
- 打开配置文件,添加或修改如下内容:
auto_completion = false - 保存文件后重启utop,自动补全建议栏将永久关闭。
内容的提问来源于stack exchange,提问作者Jack Humphries
相关产品推荐
相关产品推荐

