diff --git a/setup.sh b/setup.sh index 06af0c2..ca9dc9b 100755 --- a/setup.sh +++ b/setup.sh @@ -7,6 +7,9 @@ # Usage: ./setup.sh [--model ] [--gpu|--no-gpu] [--port ] [--yes] set -euo pipefail cd "$(dirname "$0")" +# Numeric formatting/parsing below assumes '.' as the decimal point (awk, sort -n). +# A locale like de_DE (comma decimal separator) would corrupt those comparisons. +export LC_ALL=C FORCE_MODEL=""; FORCE_GPU=""; ASSUME_YES=0; FORCE_PORT="" while [ $# -gt 0 ]; do