如何通过以下方式更改WinGHCi编辑器：set editor？

Question

当我输入:edit时，我想用记事本++代替记事本作为GHCi调用的编辑器。有谁知道如何做到这一点？我试过

:set editor C:\Program Files (x86)\Notepad++ 
:set editor "C:\Program Files (x86)\Notepad++" 

但这些都没有工作。

感谢您的帮助！

Answer 1

编辑器是一个String，所以你需要逃避\为\\，就像这样：

:set editor "C:\\Program Files (x86)\\Notepad++" 

但它是UNIX/Windows的不可知的文件路径，所以你可以或者做得一样

:set editor "C:/Program Files (x86)/Notepad++" 

请注意，输入:e代替:edit会更快;如果只有一种可能性，ghci会从:ed等子串中推断出你的意思。

Answer 2

我想记事本++应该在你的$ PATH。如果你可以从一个新开的终端上运行Notepad ++，那么你很棒。然后在ghci中使用:set editor Notepad++。

Answer 3

刚刚碰到这个。

:set editor "C:/Program Files (x86)/Notepad++/notepad++.exe" -multiInst 

或只是

"C:/Program Files (x86)/Notepad++/notepad++.exe" -multiInst 

在WinGHCi的设置对话框

这将打开一个新的记事本++实例：顶端回答是正确的，但是我只能通过增加-multiInst在命令行即得到这个工作在：e。