Make data setup entry point no-option

This commit is contained in:
aseimel
2026-06-15 15:02:05 +02:00
parent 7313b1a3dc
commit 9a16f3232f
4 changed files with 11 additions and 12 deletions
+4 -5
View File
@@ -3,23 +3,22 @@ set -euo pipefail
usage() {
cat >&2 <<'EOF'
Usage: bash data-setup/run_data_setup.sh <option>
Usage: bash data-setup/run_data_setup.sh
Options:
Optional maintenance modes:
--dry-run check setup scripts only
--download-only download source files where scriptable
--build-test rebuild inputs from existing local sources
--compare compare regenerated inputs with committed data/
--full-test download, rebuild, and compare locally
EOF
}
if [ "$#" -ne 1 ]; then
if [ "$#" -gt 1 ]; then
usage
exit 1
fi
MODE="$1"
MODE="${1:---full-test}"
repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)"
cd "$repo_root"