diff options
Diffstat (limited to 'jabref.sh')
-rw-r--r-- | jabref.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/jabref.sh b/jabref.sh index 69ca53f6f92b..79d3fa916ab8 100644 --- a/jabref.sh +++ b/jabref.sh @@ -1,4 +1,5 @@ #!/bin/sh -cd /usr/share/java -JAVA_HOME='/usr/lib/jvm/java-8-openjdk' -PATH=/usr/lib/jvm/java-8-openjdk/jre/bin/:$PATH java -jar JabRef.jar + +# 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.jar "$@" |