From 6ffa9a9304f4ef1de14e32275dfdcad9904d490c Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Thu, 26 Sep 2024 11:26:24 -0300
Subject: [PATCH] deploy-workbench: no debug mode when script ended

---
 deploy-workbench.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/deploy-workbench.sh b/deploy-workbench.sh
index 3313e9e..d81665e 100755
--- a/deploy-workbench.sh
+++ b/deploy-workbench.sh
@@ -281,6 +281,8 @@ else
 fi
 pipenv run python /opt/workbench/workbench-script.py --config "\${config_path}"
 stty echo
+
+set +x
 END
         #TODO add some useful commands
         cat > "${ISO_PATH}/chroot/root/.bash_history" <<END