sandbox_exec.sh: Add missing quotes where required to avoid failures …

…or unwanted behaviours with spaces

src/state/shellscripts/sandbox_exec.sh

@@ -23,11 +23,11 @@ if [ -z ${TMPDIR+x} ]; then
   # directory differently; the latter should be made readable/writable
   # too and getconf seems to be a robust way to get it
   if [ -z /usr/bin/getconf ]; then
-    TMP=`getconf DARWIN_USER_TEMP_DIR`
-    add_mounts rw $TMP
+    TMP=$(getconf DARWIN_USER_TEMP_DIR)
+    add_mounts rw "$TMP"
   fi
 else
-  add_mounts rw $TMPDIR
+  add_mounts rw "$TMPDIR"
 fi
 
 # C compilers using `ccache` will write to a shared cache directory
@@ -37,21 +37,21 @@ add_ccache_mount() {
       ccache_dir_regex='cache_dir = (.*)$'
       local IFS=$'\n'
       for f in $(ccache -p 2>/dev/null); do
-        if [[ $f =~ $ccache_dir_regex ]]; then
+        if [[ "$f" =~ "$ccache_dir_regex" ]]; then
           ccache_dir=${BASH_REMATCH[1]}
           break
         fi
       done
       CCACHE_DIR=${CCACHE_DIR-$HOME/.ccache}
       ccache_dir=${ccache_dir-$CCACHE_DIR}
-      add_mounts rw $ccache_dir
+      add_mounts rw "$ccache_dir"
   fi
 }
 
 add_dune_cache_mount() {
   DUNE_CACHE=${XDG_CACHE_HOME:-$HOME/.cache}/dune
-  mkdir -p ${DUNE_CACHE}
-  add_mounts rw $DUNE_CACHE
+  mkdir -p "${DUNE_CACHE}"
+  add_mounts rw "$DUNE_CACHE"
  }
 
 # This case-switch should remain identical between the different sandbox implems