hotfix: cache name = c.cache.$USER to prevent name collisions

ryanmjacobs · Apr 13, 2020 · 8ccffd3 · 8ccffd3
1 parent 98b1be1
commit 8ccffd3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/c b/c
@@ -80,7 +80,7 @@ if [[ -n "$C_CACHE_PATH" ]]; then
     tmproot="$C_CACHE_PATH"
 else
     [[ -z "$TMPDIR" ]] && TMPDIR="/tmp"
-    tmproot="$TMPDIR/c.cache"
+    tmproot="$TMPDIR/c.cache.$USER"
 fi
 mkdir -p "$tmproot"