10

と入力したときに GHCi が呼び出すエディターとして、メモ帳の代わりに Notepad++ を使用したいと考えています:edit。誰もこれを行う方法を知っていますか? 私は試した

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

しかし、これらのどれも機能しません。

助けてくれてありがとう!

4

4 に答える 4

3

ちょうどこれに出くわしました。一番上の答えは正しいですが、コマンドラインに -multiInst を追加することによってのみこれを機能させることができました。

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

あるいは単に

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

:eで新しいnotepad ++インスタンスを開くWinGHCiの設定ダイアログで。

于 2014-10-26T12:13:37.807 に答える
2

Notepad++ は $PATH にあるはずだと思います。新しく開いた端末から Notepad++ を実行できれば問題ありません。次に:set editor Notepad++ghciで使用します。

于 2013-08-05T18:12:11.327 に答える