This commit is contained in:
NikolajDanger
2022-05-15 12:54:29 +02:00
parent 383332077b
commit ba22cff91f
222 changed files with 23320 additions and 0 deletions

20
W2/fasto/bin/mars.sh Executable file
View File

@ -0,0 +1,20 @@
#!/usr/bin/env bash
set -e # Die on first error.
base_dir="$(dirname "$0")"
# Determine location of MARS.
if ! [ "$MARS" ]; then
MARS="$base_dir/../bin/Mars4_5.jar"
if [[ $(uname -o 2> /dev/null) = "Cygwin" ]]; then
MARS="$(cygpath -w "$MARS")"
fi
fi
# Verify that Java is installed.
java -version &> /dev/null || (echo "Could not find java" && exit 1)
java -jar "$MARS" nc "$@"