use alternate direnv_layout_dir for better path names
This commit is contained in:
parent
65f9fac132
commit
8cd3834ad3
@ -13,12 +13,14 @@ inputs: all: {
|
|||||||
enable = lib.mkDefault true;
|
enable = lib.mkDefault true;
|
||||||
nix-direnv.enable = lib.mkDefault true;
|
nix-direnv.enable = lib.mkDefault true;
|
||||||
stdlib = ''
|
stdlib = ''
|
||||||
: ''${XDG_CACHE_HOME:=$HOME/.cache}
|
: "${XDG_CACHE_HOME:="${HOME}/.cache"}"
|
||||||
declare -A direnv_layout_dirs
|
declare -A direnv_layout_dirs
|
||||||
direnv_layout_dir() {
|
direnv_layout_dir() {
|
||||||
echo "''${direnv_layout_dirs[$PWD]:=$(
|
local hash path
|
||||||
echo -n "$XDG_CACHE_HOME"/direnv/layouts/
|
echo "${direnv_layout_dirs[$PWD]:=$(
|
||||||
echo -n "$PWD" | shasum | cut -d ' ' -f 1
|
hash="$(sha1sum - <<< "$PWD" | head -c40)"
|
||||||
|
path="${PWD//[^a-zA-Z0-9]/-}"
|
||||||
|
echo "${XDG_CACHE_HOME}/direnv/layouts/${hash}${path}"
|
||||||
)}"
|
)}"
|
||||||
}
|
}
|
||||||
'';
|
'';
|
||||||
|
Loading…
Reference in New Issue
Block a user