From 7f5c37027a60e7d0e5689ce9cc11f372982fe8d5 Mon Sep 17 00:00:00 2001
From: Mathis Rosenhauer <rosenhauer@dkrz.de>
Date: Mon, 12 Aug 2019 15:51:44 +0200
Subject: [PATCH] start-jupyter: create ~/.ssh if it doesn't exist already
---
start-jupyter | 1 +
1 file changed, 1 insertion(+)
diff --git a/start-jupyter b/start-jupyter
index 7714328..06ade87 100755
--- a/start-jupyter
+++ b/start-jupyter
@@ -340,6 +340,7 @@ function main () {
echo "Establishing ssh master connection."
# Set up control master for connection sharing
+ mkdir -p "${HOME}/.ssh"
ssh_socket_dir="$(mktemp -d "${HOME}/.ssh/socket.XXXXX")"
ssh_frontend "" "-MNf"
--
GitLab