9 lines
326 B
Bash
Executable file
9 lines
326 B
Bash
Executable file
#!/usr/bin/env bash
|
|
dir="$(realpath $(dirname ${BASH_SOURCE[0]})/../..)"
|
|
_nix_direnv_force_reload=1 direnv exec "$dir" true
|
|
direnv reload
|
|
# direnv reload updates the mtime of .envrc. Also update the timestamp of the
|
|
# profile_rc file to keep track that we actually are up to date.
|
|
touch $dir/.direnv/{nix,flake}-profile-*.rc
|
|
|