diff options
Diffstat (limited to 'support/albatross/scripts/albatross.sh')
-rw-r--r-- | support/albatross/scripts/albatross.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/support/albatross/scripts/albatross.sh b/support/albatross/scripts/albatross.sh new file mode 100644 index 0000000000..323713ca4b --- /dev/null +++ b/support/albatross/scripts/albatross.sh @@ -0,0 +1,17 @@ +#!/bin/sh +# Public domain. Originally written by Norbert Preining and Karl Berry, 2018. +# Note from Paulo: this script provides better Cygwin support than our original +# approach, so the team decided to use it as a proper wrapper for albatross as well. + +scriptname=`basename "$0"` +jar="$scriptname.jar" +jarpath=`kpsewhich --progname="$scriptname" --format=texmfscripts "$jar"` + +kernel=`uname -s 2>/dev/null` +if echo "$kernel" | grep CYGWIN >/dev/null; then + CYGWIN_ROOT=`cygpath -w /` + export CYGWIN_ROOT + jarpath=`cygpath -w "$jarpath"` +fi + +exec java -jar "$jarpath" "$@"
\ No newline at end of file |