Merge pull request #493 from cachix/two-shells

use miliseconds when creating shell in case we launch two
cachix · Mar 16, 2023 · 3dfc678 · 3dfc678
2 parents 3f51664 + 56ac2cb
commit 3dfc678
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/devenv.nix b/src/devenv.nix
@@ -47,7 +47,7 @@ pkgs.writeScriptBin "devenv" ''
   fi
 
   mkdir -p "$GC_ROOT"
-  GC_DIR="$GC_ROOT/$(date +%s)"
+  GC_DIR="$GC_ROOT/$(date +%s%3N)"
 
   function add_gc {
     name=$1