Как изменить редактор WinGHCi с помощью: set editor?

Я хочу использовать Notepad++ вместо Notepad в качестве редактора GHCi при вводе :edit. Кто-нибудь знает, как это сделать? Я пытался!--3-->

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

но ничего из этого не работает.

Спасибо за помощь!

3 ответов


редактор-это String, Так что вам нужно бежать \ as \, например:

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

но это агностик unix/windows для FilePaths, поэтому вы можете альтернативно сделать это как

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

в качестве примечания, это быстрее ввести :e вместо :edit; ghci выведет, что вы имеете в виду из подстроки, такой как :ed если есть только одна возможность.


только что наткнулся на этот. Верхний ответ правильный, однако я мог бы только получить эту работу, добавив-multiInst в командную строку i.e:

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

или просто

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

в диалоговом окне настроек WinGHCi, которое открывает новый экземпляр notepad++ на: e.


Я бы предположил, что Notepad++ должен быть на вашем $PATH. Если вы можете запустить Notepad++ из недавно открытого терминала, то Вы хороши. Тогда используйте :set editor Notepad++ в ghci.