commented on
issue #2
"`./run.sh: line 30: jre/bin/java: No such file or directory`"
at
Arch Linux / Packaging / Packages / protege
Thanks for the report. The Arch packaging guidelines for Java specifically mention what to do about $JAVA_HOME
so this will need to be fixed in pac...
opened
issue
#2
"`./run.sh: line 30: jre/bin/java: No such file or directory`"
at
Arch Linux / Packaging / Packages / protege
opened
issue
#1
"Use protege-distribution instead of protege"
at
Arch Linux / Packaging / Packages / protege
pushed new 9 tags
at
Arch Linux / Packaging / Packages / protege
created project
Arch Linux / Packaging / Packages / protege