From a2d7857c221c037bcb95739785f9ffe8e3cf5058 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Fri, 8 Apr 2022 16:02:52 +0200
Subject: [PATCH] Do not add the workspace link for now.

---
 06_workspace_mount.sh | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/06_workspace_mount.sh b/06_workspace_mount.sh
index 8e8ef46..aedac52 100644
--- a/06_workspace_mount.sh
+++ b/06_workspace_mount.sh
@@ -42,13 +42,24 @@ fi
 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_scope} $workspace_dir" >/dev/null 2>&1 &
 
+sleep 5
 _retval=
 _fuse_process=$(ps auwwx | grep fuse | grep java)
 _retval=$?
 if [ $_retval -ne 0 ]; then
   echo "The mount of the workspace failed"
   exit 1
+else
+  # pushd /home/${USER}
+  # if [ $? -ne 0 ]; then
+  #   if ! [ -L workspace ]; then
+  #     su - "$USER" -c "ln -s $workspace_dir /workspace"
+  #   fi
+  # else
+  #   echo "Cannot cd inside the user's home directory"
+  #   exit 1
+  # fi
+  echo "The workspace has been mounted"
+  exit 0
 fi
 
-ln -sf $workspace_dir /home/${USER}/workspace
-exit 0