diff options
author | Ben Sima <ben@bsima.me> | 2023-08-22 11:50:19 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2023-08-22 11:55:22 -0400 |
commit | 2bab1000e2cbac69f3cd7d6c437eb63a63843b57 (patch) | |
tree | 2484ddc865449820c11b55e2a895173f584e950c | |
parent | c13e829e145daf96ea2be9b4d35fc2a94a1b33bd (diff) |
Reload direnv on file changes
I only just now learned about watch_file.
-rw-r--r-- | .envrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |