node.js - jEditコマンドにPATHを提供する方法は?

Question

インストール後

1. node.js、
2. npm、
3. Ubuntu 用の最新の jEdit、
4. jEdit コンソール プラグイン、および
5. CoffeeScriptコマンド（原文のまま！）、

coffeeでパスを構成すると、が見つからcoffee.xmlないため実行されnodeません:

/home/user/local/bin/coffee -c foo.js.coffee
Process /home/user/local/bin/coffee exited with code 127
/usr/bin/env: node: No such file or directory

これは、コンソール プラグインが実行を試みるまでに/home/user/local/binが見つからないことが原因であると考えられます。変更せずにこの環境変数を提供する方法はありますか?PATHcoffee/home/user/local/bin/coffee

Plugins → Console → System Shell → Subshel​​l extra PATH を に設定しようとしまし/home/user/local/binたが、かかりませんでした。

Answer 1

jEdit / Console にバグがあったようです。「Subshel​​l extra PATH」オプションを保存し、ダイアログを閉じ、実行coffeeして同じ結果を得て、オプションを再度確認し、あきらめました。jEdit を再起動すると、オプションが削除されていることがわかりました。もう一度入力して、今coffeeはうまくいきました。この問題に遭遇した他の人のために：

1. すべてをインストールします。
2. jEdit を再起動します。
3. 「サブシェル追加パス」オプションを設定します。
4. 利益！