diff options
Diffstat (limited to 'Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh')
-rwxr-xr-x | Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh b/Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh index 56333fb47b4..1b2e8d9cb04 100755 --- a/Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh +++ b/Master/texmf-dist/scripts/tlcockpit/tlcockpit.sh @@ -1,8 +1,12 @@ -#!/bin/sh -# Public domain. Originally written by Norbert Preining and Karl Berry, 2018. +#!/bin/bash +# Public domain. Originally written by Norbert Preining and Karl Berry, 2018-2019. scriptname=`basename "$0"` -jar="$scriptname.jar" +javaVersion=$(java -version 2>&1 | head -1) +case "$javaVersion" in + *"1.8"*) jar="$scriptname-jdk8".jar ;; + *) jar="$scriptname.jar" ;; +esac jarpath=`kpsewhich --progname="$scriptname" --format=texmfscripts "$jar"` kernel=`uname -s 2>/dev/null` |