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