06_workspace_mount.sh

@@ -30,14 +30,14 @@ _retval=
 if [ -d /home/${USER}/workspace ]; then
   rmdir /home/${USER}/workspace
   _retval=$?
-fi
   if [ $_retval -ne 0 ]; then
       echo "The user has a directory named 'workspace' inside their home directory and it is not empty."
       echo "Not starting the workspace mount"
-    exit
-else
-    ln -s /home/${USER}/workspace $workspace_dir
+      exit $_retval
   fi
+fi
+
+ln -sf /home/${USER}/workspace $workspace_dir
 
 echo "Mount the workspace"
 su - "$USER" -c "/usr/bin/java  -cp .:${workspace_dir}:${workspace_logdir}/ -Dlogback.configurationFile=${workspace_logdir}/logback.xml -jar $workspace_fuse_jar $SHINYPROXY_OIDC_ACCESS_TOKEN $workspace_dir" >/dev/null 2>&1 &