From c569cd0fe871e024db9b3daf4c37f6e7c35b4d92 Mon Sep 17 00:00:00 2001
From: Pierre Hyvernat <pierre.hyvernat@univ-smb.fr>
Date: Mon, 28 Jun 2021 09:00:40 +0200
Subject: [PATCH] quick fix for gsh_exit function not exiting

---
 lib/gsh.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/gsh.sh b/lib/gsh.sh
index 623a7417..27e69b10 100644
--- a/lib/gsh.sh
+++ b/lib/gsh.sh
@@ -113,6 +113,8 @@ Do you still want to quit? [y/n]") "
   [ "$GSH_MODE" != "DEBUG" ] && ! [ -d "$GSH_ROOT/.git" ] && gsh unprotect
   #shellcheck disable=SC2046
   kill -sSIGHUP $(jobs -p) 2>/dev/null
+  trap - EXIT
+  exit 0
 }