node.js - 如何为 jEdit 突击队提供 PATH？

Question

安装后

1. 节点.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. 利润！