From fdc2a4458210d498dc8c2232740b97089940f773 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20unbrot=20P=C3=A4tzold?= Date: Thu, 7 May 2026 16:43:26 +0200 Subject: [PATCH] install: given repo url will be used intead of already existing ones --- system_setup/install.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/system_setup/install.sh b/system_setup/install.sh index c201a3b..d8e0e9b 100755 --- a/system_setup/install.sh +++ b/system_setup/install.sh @@ -361,8 +361,12 @@ if [[ -n "$EXISTING_OEMDRV_DEV" ]]; then fi if [[ -f "$MOUNT_POINT/system_setup/setup_system.inc.sh" && -f "$MOUNT_POINT/config/setup_system.conf" ]]; then + if [ ! -z $REPO_URL ]; then BACK_REPO_URL="$REPO_URL"; fi + if [ ! -z $REPO_BRANCH ]; then BACK_REPO_BRANCH="$REPO_BRANCH"; fi info "Reading existing configuration from ${MOUNT_POINT} ..." source "$MOUNT_POINT/system_setup/setup_system.inc.sh" + if [ ! -z $BACK_REPO_URL ]; then REPO_URL="$BACK_REPO_URL"; fi + if [ ! -z $BACK_REPO_BRANCH ]; then REPO_BRANCH="$BACK_REPO_BRANCH"; fi fi # ── Check existing git repository origin ──────────────────────────────