From d51fe5db4870009f6964b87088afcbf2d2b87e1c Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 15 Feb 2021 16:18:21 +0100
Subject: [PATCH] garlic tool: ensure the mountpoint is enabled

---
 garlic/sh/garlic | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/garlic/sh/garlic b/garlic/sh/garlic
index 765e875..c976dfa 100755
--- a/garlic/sh/garlic
+++ b/garlic/sh/garlic
@@ -76,6 +76,14 @@ checkExperiment() {
   return 0
 }
 
+checkMountpoint() {
+  if [ ! -e "$garlicPrefix/garlic.control" ]; then
+    >&2 echo "error: missing $garlicPrefix/garlic.control"
+    >&2 echo "Is the mountpoint enabled?"
+    exit 1
+  fi
+}
+
 do_fetch() {
   expName=$(basename $experiment)
   user=$(ssh -G "$sshHost" | awk '/^user /{print $2}')
@@ -184,6 +192,8 @@ if [ -z "$trebuchet" ]; then
   usage
 fi
 
+checkMountpoint
+
 checkTrebuchet $trebuchet
 
 experiment=$(findExperiment "$trebuchet")