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

Der Editor ist ein String , also müssen Sie \ als \ , wie folgt, umgehen:

aber es ist unix / windows agnostic für FilePaths, also könntest du es auch als

Als Randnotiz ist es schneller, :e anstelle von :edit einzugeben; Ghci leitet aus einer Teilzeichenfolge wie :ed ab, was Sie meinen, wenn es nur eine Möglichkeit gibt.

Ich bin gerade auf diesen hier gestoßen. Die obere Antwort ist korrekt, aber ich konnte nur funktionieren, indem -multiInst der Befehlszeile hinzugefügt wurde, d. H .:

oder nur

im Einstellungsdialog von WinGHCi, der eine neue notepad ++ -Instanz auf: e.

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 verwende :set editor Notepad++ in ghci.