如何为 jEdit 突击队提供 PATH？

Question

安装后

1. node.js,
2. npm,
3. latest jEdit for Ubuntu,
4. jEdit 控制台插件，以及
5. CoffeeScript commando（原文如此！），

然后在coffee.xml中配置coffee路径，因为找不到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

这很可能是因为在控制台插件尝试运行 coffee 时，PATH 中缺少 /home/user/local/bin。有没有办法在不修改/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. 设置“Subshel​​l extra PATH”选项。
4. 利润！