From 9baae929cd47fb14605fca8d3bc0e90b237d6c32 Mon Sep 17 00:00:00 2001 From: augustin64 Date: Tue, 16 Jan 2024 21:13:04 +0100 Subject: [PATCH] Fix fatal make.sh error --- make.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/make.sh b/make.sh index 4b94703..566b605 100755 --- a/make.sh +++ b/make.sh @@ -43,9 +43,9 @@ usage () { } if [[ $1 && $(type "$1") = *"is a"*"function"* || $(type "$1") == *"est une fonction"* ]]; then - # Import config + # Import config source "default_config.py" - [[ ! -x" $INSTANCE_PATH/config.py" ]] && source "$INSTANCE_PATH/config.py" + [[ ! -x "$INSTANCE_PATH/config.py" ]] && source "$INSTANCE_PATH/config.py" $1 ${*:2} # Call the function else usage