diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-17 21:21:45 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-17 22:44:07 -0400 |
| commit | 5b7ccf57089abeba5c05a398ecd6c190c8ffc51c (patch) | |
| tree | 4ea328383c27cd9146c732d4b186804c3098ed74 /Biz/Ide | |
| parent | 0adce0283fda78617686e034dcde08fe9e4342ad (diff) | |
Reload dev environment after git checkout
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/hooks/post-checkout | 1 |
1 files changed, 1 insertions, 0 deletions
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 |