From 68ed037de29c818ad2ed9bd94681f6df66e5c5f1 Mon Sep 17 00:00:00 2001
From: Sofiane Bendoukha <bendoukha@dkrz.de>
Date: Wed, 7 Oct 2020 13:49:06 +0200
Subject: [PATCH] Update start-jupyter

---
 start-jupyter | 1 -
 1 file changed, 1 deletion(-)

diff --git a/start-jupyter b/start-jupyter
index 37baed4..cac4daf 100755
--- a/start-jupyter
+++ b/start-jupyter
@@ -354,7 +354,6 @@ function main () {
     trap clean_up INT QUIT TERM ERR EXIT
 
     echo "Establishing ssh master connection."
-    set -x
     # Set up control master for connection sharing
     mkdir -p "${HOME}/.ssh"
     ssh_socket_dir="$(mktemp -d "${HOME}/.ssh/socket.XXXXX")"
-- 
GitLab