diff --git a/setup.sh b/setup.sh index ac2c394..39b54b9 100755 --- a/setup.sh +++ b/setup.sh @@ -7,6 +7,9 @@ # Usage: ./setup.sh [--model ] [--gpu|--no-gpu] [--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 while [ $# -gt 0 ]; do