summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2023-08-22 11:50:19 -0400
committerBen Sima <ben@bsima.me>2023-08-22 11:55:22 -0400
commit2bab1000e2cbac69f3cd7d6c437eb63a63843b57 (patch)
tree2484ddc865449820c11b55e2a895173f584e950c
parentc13e829e145daf96ea2be9b4d35fc2a94a1b33bd (diff)
Reload direnv on file changes
I only just now learned about watch_file.
-rw-r--r--.envrc5
1 files changed, 5 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index 61214db..f4ad167 100644
--- a/.envrc
+++ b/.envrc
@@ -4,6 +4,11 @@
source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/1.5.1/direnvrc" "sha256-p4CDMJjuBmEh9pkn2aoJrZqr0DlPZHPU7eXOSDzzcuo="
fi
#
+# watch some files that effect the dev environment
+ watch_file shell.nix
+ watch_file default.nix
+ watch_file Biz/Bild.nix
+ watch_file Biz/Bild.hs
# if direnv doesn't detect changes to the nix environment, just touch .envrc and
# it will refresh
use nix