From 5b7ccf57089abeba5c05a398ecd6c190c8ffc51c Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 17 Aug 2023 21:21:45 -0400
Subject: Reload dev environment after git checkout

---
 Biz/Ide/hooks/post-checkout | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Biz/Ide')

diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout
index 3eac0b9..ef0cfa1 100755
--- a/Biz/Ide/hooks/post-checkout
+++ b/Biz/Ide/hooks/post-checkout
@@ -12,3 +12,4 @@ elif [[ ${#changed[@]} -gt 0 ]]
 then
     $mktags $changed
 fi
+direnv reload
-- 
cgit v1.2.3