Move direnv cache to central location

2022-08-26 11:39:54 -07:00
parent 20a46e64a7
commit 8ac5ff67a4
1 changed files with 11 additions and 0 deletions
--- a/nix/home.nix
+++ b/nix/home.nix
@@ -49,6 +49,17 @@

  programs.direnv.enable = true;
  programs.direnv.nix-direnv.enable = true;
+  programs.direnv.stdlib = ''
+    # From https://github.com/direnv/direnv/wiki/Customizing-cache-location
+    : ''${XDG_CACHE_HOME:=$HOME/.cache}
+    declare -A direnv_layout_dirs
+    direnv_layout_dir() {
+        echo "''${direnv_layout_dirs[$PWD]:=$(
+            echo -n "$XDG_CACHE_HOME"/direnv/layouts/
+            echo -n "$PWD" | sha1sum | cut -d ' ' -f 1
+        )}"
+    }
+'';

  programs.emacs.enable = true;
  programs.emacs.package = pkgs.emacs28NativeComp;