Do not report an abort when not writing the configuration file.

See <#61 (comment)>
theory · Sep 5, 2023 · 7214768 · 7214768
1 parent ead7b7d
commit 7214768
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/pgenv b/bin/pgenv
@@ -692,7 +692,7 @@ pgenv_configuration_write() {
     # avoid overwriting configuration if the environment variable is set
     if [ ! -z "${PGENV_CONFIGURATION_FILE}" ]; then
 	pgenv_debug "Cannot write configuration file while PGENV_CONFIGURATION_FILE set!"
-	exit 1
+	return
     fi
 
     # check the configuration directory exists