From df2c10b1d37597b1219478b1b64e4780c124a650 Mon Sep 17 00:00:00 2001
From: Simon Bruder <simon.bruder@mailbox.tu-dresden.de>
Date: Thu, 16 Nov 2023 12:30:08 +0100
Subject: [PATCH] Watch shell.nix in envrc

---
 .envrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.envrc b/.envrc
index a328d7e..5f26fe0 100644
--- a/.envrc
+++ b/.envrc
@@ -1,2 +1,3 @@
 source_env_if_exists .envrc.private
+watch_file shell.nix
 use flake