From 01d3aa9c575afd1c77897224c4175ec22dafdf8c Mon Sep 17 00:00:00 2001 From: Matthias Ladkau Date: Wed, 30 Sep 2026 08:34:59 +0200 Subject: [PATCH] Fixed a bug with locale --- setup.sh | 3 +++ 1 file changed, 3 insertions(+) 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