Merge pull request #516 from JoaquinTrinanes/fix/keep-manual-reload

Respect existing _nix_direnv_manual_reload
This commit is contained in:
Jörg Thalheim 2024-09-03 20:50:07 +02:00 committed by GitHub
commit e796476bc5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -263,7 +263,7 @@ _nix_direnv_watches() {
done < <($direnv show_dump "${DIRENV_WATCHES}") done < <($direnv show_dump "${DIRENV_WATCHES}")
} }
_nix_direnv_manual_reload=0 : "${_nix_direnv_manual_reload:=0}"
nix_direnv_manual_reload() { nix_direnv_manual_reload() {
_nix_direnv_manual_reload=1 _nix_direnv_manual_reload=1
} }