diff options
| author | Karl Berry <karl@freefriends.org> | 2019-07-11 21:18:13 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-07-11 21:18:13 +0000 |
| commit | d9fdc45f38b6a264acb0f5ecbfc1a68e900cb0dd (patch) | |
| tree | bc45fe62a79d344332af3c779fdf9555b9c633d2 /Build | |
| parent | 98f89874f52c2e28da43ff4b4583d1900dcbed31 (diff) | |
tlcockpit (11jul19)
git-svn-id: svn://tug.org/texlive/trunk@51620 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh b/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh index 56333fb47b4..1b2e8d9cb04 100755 --- a/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh +++ b/Build/source/texk/texlive/linked_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` |