首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >如何通过:set编辑器更改WinGHCi编辑器?

如何通过:set编辑器更改WinGHCi编辑器?
EN

Stack Overflow用户
提问于 2013-08-05 18:09:05
回答 4查看 5.7K关注 0票数 10

当我输入Notepad++时,我想使用:edit而不是记事本作为编辑器GHCi调用。有人知道怎么做吗?我试过了

代码语言:javascript
运行
复制
:set editor C:\Program Files (x86)\Notepad++
:set editor "C:\Program Files (x86)\Notepad++"

但这些都不起作用。

谢谢你的帮助!

EN

回答 4

Stack Overflow用户

回答已采纳

发布于 2013-08-05 19:15:41

编辑器是一个String,因此您需要将\转义为\\,如下所示:

代码语言:javascript
运行
复制
:set editor "C:\\Program Files (x86)\\Notepad++"

但是对于FilePaths,它是unix/windows不可知论的,所以您也可以将其作为

代码语言:javascript
运行
复制
:set editor "C:/Program Files (x86)/Notepad++"

顺便指出,键入:e比输入:edit更快;如果只有一种可能性,ghci将从:ed这样的子字符串中推断出您的意思。

票数 12
EN

Stack Overflow用户

发布于 2014-10-26 12:13:37

只是偶然发现了这个。不过,上面的答案是正确的,但我只能通过将-multiInst添加到命令行即:

代码语言:javascript
运行
复制
:set editor "C:/Program Files (x86)/Notepad++/notepad++.exe" -multiInst

或者只是

代码语言:javascript
运行
复制
"C:/Program Files (x86)/Notepad++/notepad++.exe" -multiInst

在WinGHCi的“设置”对话框中,它在:e上打开一个新的notepad++实例。

票数 3
EN

Stack Overflow用户

发布于 2013-08-05 18:12:11

我猜Notepad++应该在你的$PATH上。如果你能在一个新开的终端上运行Notepad++,那你就好了.然后在ghci中使用:set editor Notepad++

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/18064804

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档