From 5e67d14cf1cf43b9e10c593c584e5535e1f19a54 Mon Sep 17 00:00:00 2001 From: jorge Lopez Date: Tue, 24 Oct 2023 08:57:13 -0700 Subject: [PATCH] edit comment --- generate_env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate_env.sh b/generate_env.sh index e385b5685..e0712b516 100755 --- a/generate_env.sh +++ b/generate_env.sh @@ -9,7 +9,7 @@ script_dir="$(dirname "$0")" # Path to the resource folder folder_path="$script_dir/shared/src/main/resources" -# Check if folder exists, and create if if not +# Check if folder exists, and create it if not if [ ! -d "$folder_path" ]; then mkdir -p "$folder_path" || { echo "Error creating directory."; exit 1; } fi