From 5a43a97628c22edaf7e05cc66edaff54be20aaf1 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Sat, 22 Jul 2023 15:59:00 +0200
Subject: [PATCH] Reload the environment when dev.sh changes

---
 .envrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.envrc b/.envrc
index 57636cc..d19b9af 100644
--- a/.envrc
+++ b/.envrc
@@ -14,3 +14,5 @@ export PROJECT_DIR=$(pwd)
 export WEBPORT=$(($RANDOM + 1100))
 export PGPORT=$(($WEBPORT + 100))
 watch_file "$PGDATA/postgresql.conf"
+watch_file "dev.sh"
+