如何为jEdit突击队提供PATH？

Question

安装后

1. node.js，
2. npm，
3. latest jEdit for Ubuntu，
4. jEdit控制台插件和
5. a CoffeeScript commando（sic！），

然后在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时PATH中缺少coffee。有没有办法提供这个环境变量而不修改/home/user/local/bin/coffee？

尝试将插件→控制台→系统外壳→子shell额外路径设置为/home/user/local/bin，但未执行此操作。

Answer 1

看起来jEdit / Console中存在错误。我保存了“Subshel​​l extra PATH”选项，关闭对话框，运行coffee并得到相同的结果，再次检查选项，然后放弃了。重新启动了jEdit，发现该选项已被删除。再次输入，现在coffee运行正常。对于遇到此问题的其他人：

1. 安装所有内容。
2. 重新启动jEdit。
3. 设置“Subshel​​l extra PATH”选项。
4. 利润！