From 912cbc55cb6a159643d90176f50d8431c88b8883 Mon Sep 17 00:00:00 2001
From: David Schmitz <schmitz@lrz.de>
Date: Mon, 21 Oct 2024 06:13:29 +0000
Subject: [PATCH] install-debian.sh
---
install-debian.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/install-debian.sh b/install-debian.sh
index 615142e7..9cf5b730 100755
--- a/install-debian.sh
+++ b/install-debian.sh
@@ -320,7 +320,7 @@ while [ $# -gt 0 ]; do
install_basesw_os=1
#install_basesw_python=0
#install_fodproper=0
- elif [ $# -ge 1 -a "$1" = "--basesw_python" ]; then
+ elif [ $# -ge 1 -a \( "$1" = "--basesw_python" -o "$1" = "--python-update-only" \) ]; then
shift 1
install_default_used=0
--
GitLab