From 7214768e9bfb035d2e30c143ab6f2b84953ffbea Mon Sep 17 00:00:00 2001
From: Luca Ferrari <fluca1978@gmail.com>
Date: Tue, 5 Sep 2023 13:49:28 +0200
Subject: [PATCH] Do not report an abort when not writing the configuration
 file.

See <https://github.com/theory/pgenv/pull/61#discussion_r1315699268>
---
 bin/pgenv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/pgenv b/bin/pgenv
index d98ded9..0913690 100755
--- 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