Move devshell to subdirectory

This commit is contained in:
2022-02-19 23:34:41 +00:00
parent 17e4feb542
commit fafb7d4656
5 changed files with 90 additions and 72 deletions

11
.envrc
View File

@@ -1,3 +1,14 @@
use_flake_extra_watch() {
watch_file devshell/*
for f in devshell/*; do
if [ "$f" -nt flake.nix ]; then
# nix-direnv doesn't check the dates on other files, so give it a kick via flake.nix
touch flake.nix
fi
done
}
use flake_extra_watch
use flake
# devshell needs the shellHook to run even when cached