如何提供一个jEdit突击队的path？

安装后

  1. node.js ，
  2. npm ，
  3. 最新的jEdit for Ubuntu ，
  4. jEdit控制台插件，和
  5. 一个CoffeeScript突击队 （原文如此！），

然后在coffee.xmlconfigurationcoffeepath，它不会运行，因为找不到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缺less/home/user/local/bin 。 有没有办法提供这个环境variables，而无需修改/home/user/local/bin/coffee ？

试图设置插件→控制台→系统shell→子shell额外path到/home/user/local/bin ，但它没有采取。

看起来像jEdit /控制台中有一个错误。 我保存了“Subshel​​l extra PATH”选项，closures对话框，运行coffee并得到相同的结果，再次检查选项，然后放弃。 重新启动jEdit，发现该选项已被删除 。 再次进入，现在coffee运行良好。 对于遇到这个问题的其他人：

  1. 安装一切。
  2. 重新启动jEdit。
  3. 设置“Subshel​​l extra PATH”选项。
  4. 利润！
Interesting Posts