Tag: jedit

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

安装后 node.js ， npm ， 最新的jEdit for Ubuntu ， jEdit控制台插件，和 一个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 ，但它没有采取。