diff --git a/system_setup/configure.sh b/system_setup/configure.sh index 016426f..9f36f03 100755 --- a/system_setup/configure.sh +++ b/system_setup/configure.sh @@ -45,12 +45,16 @@ do_configure() { echo "" echo "=== System Configuration ===" echo "Press Enter to keep the current value, or type a new one." + echo "Configuration will be reread for each value to make sure the settings are applied." + echo # If other Repo infos are given, set them first if [[ ! -z $REPO_URL ]]; then + echo "REPO_URL is set to $REPO_URL . Will use it for configure.conf." set_conf_var "REPO_URL" "$REPO_URL" fi if [[ ! -z $REPO_BRANCH ]]; then + echo "REPO_BRANCH is set to $REPO_BRANCH . Will use it for configure.conf." set_conf_var "REPO_BRANCH" "$REPO_BRANCH" fi