Merge pull request #545 from bobvanderlinden/pr-coreutils-date

use date from coreutils
cachix · Apr 21, 2023 · 3ce904a · 3ce904a
2 parents 323a721 + ac41026
commit 3ce904a
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%3N)"
+  GC_DIR="$GC_ROOT/$(${pkgs.coreutils}/bin/date +%s%3N)"
 
   function add_gc {
     name=$1