如何在MacOS系统中设置ghci的:edit命令默认编辑器?
永久修改GHCi默认编辑器的两种方案
方案1:修改GHCi用户配置文件(仅对GHCi生效)
用户主目录下的.ghci是GHCi的全局用户配置文件,每次启动GHCi都会自动加载该文件内的配置:
- 打开终端执行命令编辑配置文件,文件不存在会自动创建:
nano ~/.ghci - 在文件末尾添加一行内容:
:set editor subl - 保存退出后,若后续启动GHCi时出现权限警告,执行以下命令修复配置文件权限即可:
chmod 600 ~/.ghci
方案2:修改系统EDITOR环境变量(对所有读取该变量的工具生效)
GHCi默认会优先读取系统的EDITOR环境变量作为默认编辑器,修改该变量可以同时作用于Git、终端编辑等其他需要调用编辑器的场景:
- 如果你使用Zsh(macOS Catalina及以后版本默认shell),编辑
~/.zshrc文件:
如果你使用Bash,编辑nano ~/.zshrc~/.bash_profile或~/.bashrc文件。 - 在文件末尾添加:
export EDITOR="subl" - 保存退出后执行
source ~/.zshrc(如果修改的是Bash配置则替换为对应的文件名)让配置立即生效。
验证效果
重新打开GHCi,执行:show editor命令,即可查看当前默认编辑器是否已经修改为subl。
内容的提问来源于stack exchange,提问作者Nevermore
相关产品推荐
相关产品推荐

