From f8c281a4f9511745c1551b4e0f18272cab5a7d24 Mon Sep 17 00:00:00 2001 From: Ayaz Salikhov Date: Wed, 10 Nov 2021 18:27:23 +0300 Subject: [PATCH] Fail if creating symlink fails --- base-notebook/start.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/base-notebook/start.sh b/base-notebook/start.sh index a0a70c431e..7eede86b59 100755 --- a/base-notebook/start.sh +++ b/base-notebook/start.sh @@ -95,12 +95,13 @@ if [ "$(id -u)" == 0 ] ; then if cp -a /home/jovyan/. "/home/${NB_USER}/"; then echo "Success!" else - echo "Failed!" + echo "Failed to copy data from /home/jovyan to /home/${NB_USER}!" echo "Attempting to symlink /home/jovyan to /home/${NB_USER}..." if ln -s /home/jovyan "/home/${NB_USER}"; then - echo "Success!" + echo "Success creating symlink!" else - echo "Failed!" + echo "Failed to create symlink!" + exit 1 fi fi fi