diff options
Diffstat (limited to 'jabref.sh')
| -rw-r--r-- | jabref.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/jabref.sh b/jabref.sh index 713274d78bfd..48a18625c77b 100644 --- a/jabref.sh +++ b/jabref.sh @@ -1,5 +1,9 @@ #!/bin/sh -# Force usage of latest java version -JVM_PATH=$(find /usr/lib/jvm/* -maxdepth 0 -type d | sort | tail -n1) -exec $JVM_PATH/jre/bin/java -jar /usr/share/java/jabref/JabRef-VERSION.jar "$@" +if [[ "$(archlinux-java get)" == java-8-* ]]; then + exec /usr/bin/java -jar /usr/share/java/jabref/JabRef-VERSION.jar "$@" +else + # Force usage of latest java version + JVM_PATH=$(find /usr/lib/jvm/* -maxdepth 0 -type d | sort | tail -n1) + exec $JVM_PATH/jre/bin/java -jar /usr/share/java/jabref/JabRef-VERSION.jar "$@" +fi |