Я новичок в Ubuntu (14.04), поэтому я очень благодарен, если вы можете посоветовать мне, как установить Jason в качестве плагина jEdit.
Домашняя страница установки Jason.
Домашняя страница установки Jason .
На странице Jason это очень просто, просто run bin/jason.sh. Я попытался сделать это в терминале, но команда run не была найдена, и я не знаю, какой пакет я должен установить. Если я дважды щелкнул по jason.sh, этот файл будет открыт в jEdit, но ничего не произойдет.
И я не пытался установить Jason вручную, скопировав исходный файл в usr/share/jEdit/jars, но он не сработал нигде.
Обновлен с помощью скриншота:
[ ! d8]
Похоже, у меня нет разрешения на выполнение этого файла в этой папке. Я попытался сделать еще раз с sudo, но это не сработало
Перейдите в папку Jason-1.3.9/bin:
Выполнить команду sh jason.sh
После распаковки архива Джейсона команда для ввода: bin/jason.sh NOT run bin/jason.sh:
sylvain@sylvain-ThinkPad-T430s:~/Downloads/Jason-1.4.1$ chmod +x bin/jason.sh
sylvain@sylvain-ThinkPad-T430s:~/Downloads/Jason-1.4.1$ bash bin/jason.sh
JDK_HOME is not properly set!
sylvain@sylvain-ThinkPad-T430s:~/Downloads/Jason-1.4.1$