From 850fefdd7148cef222a97059b1c113f0a85d811d Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Mon, 4 Apr 2022 11:30:20 +0200
Subject: [PATCH] Fix the path of the jar file.

---
 06_workspace_mount.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/06_workspace_mount.sh b/06_workspace_mount.sh
index 6aa1d5f..8e8ef46 100644
--- a/06_workspace_mount.sh
+++ b/06_workspace_mount.sh
@@ -26,7 +26,7 @@ workspace_fuse_jar="$workspace_libdir/fuse-workspace.jar"
 mkdir -p $workspace_dir
 chown ${USER}:${USER} $workspace_dir
 chown -R ${USER}:${USER} $workspace_logdir
-chmod 444 $workspace_fuse_jar/fuse-workspace.jar
+chmod 444 $workspace_fuse_jar
 
 _retval=
 if [ -d /home/${USER}/workspace ]; then
-- 
2.17.1