Wie ändere ich den WinGHCi-Editor über: Editor einstellen?

Question

Ich möchte Notepad ++ anstelle von Editor als Editor verwenden, den GHCi aufruft, wenn ich :edit eintippe. Weiß jemand, wie man das macht? Ich versuchte

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

aber keiner von diesen funktioniert.

Danke für die Hilfe!

Answer 1

Der Editor ist ein String, so müssen Sie \ als \\ zu entkommen, etwa so:

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

aber es ist Unix/Windows-Agnostiker für Dateipfade, so dass Sie alternativ könnte es tun als

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

Als eine Randnotiz ist es schneller :e statt :edit; ghci leitet ab, was Sie von einer Teilzeichenkette wie :ed meinen, wenn es nur eine Möglichkeit gibt.

Answer 2

Ich würde vermuten, dass Notepad ++ auf Ihrem $ PATH sein sollte. Wenn Sie Notepad ++ von einem neu geöffneten Terminal ausführen können, dann sind Sie gut. Dann benutze :set editor Notepad++ in ghci.

Answer 3

Ist gerade auf diese eine gekommen. Die Top-Antwort ist richtig aber konnte ich nur diese Arbeit erhalten, indem -multiInst an die Befehlszeile dh Zugabe:

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

oder nur

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

im Einstellungsdialog von WinGHCi, die einen neuen Notizblock öffnet ++ Instanz ein.