From 4226cbd8020253b010fb44d395db12efe68e1272 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 21 Sep 2023 22:30:17 -0400
Subject: Rename BIZ_ROOT to CODEROOT

BIZ_ROOT was too specific. CODEROOT allows for other (non-biz) projects to live
in the root of the repo. I didn't want to call it GIT_ROOT because maybe someday
I won't want to use git. But I'll never not use code.
---
 .envrc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to '.envrc')

diff --git a/.envrc b/.envrc
index f4ad167..fd99583 100644
--- a/.envrc
+++ b/.envrc
@@ -13,16 +13,16 @@
 # it will refresh
   use nix
 #
-  export BIZ_ROOT=$PWD
+  export CODEROOT=$PWD
 #
 # scripts for editing go here
-  PATH_add $BIZ_ROOT/Biz/Ide
+  PATH_add $CODEROOT/Biz/Ide
 #
 # executable bild outputs go here
-  PATH_add $BIZ_ROOT/_/bin
+  PATH_add $CODEROOT/_/bin
 #
 # library/linkable bild outputs go here
-  export LTDL_LIBRARY_PATH=$BIZ_ROOT/_/lib
+  export LTDL_LIBRARY_PATH=$CODEROOT/_/lib
 #
 # Biz/Dragons.hs:
   export GITHUB_CLIENT_ID=aa575dc96263bc99556d
@@ -36,7 +36,7 @@
   fi
 #
 # configure git hooks
-  git config --local core.hooksPath "$BIZ_ROOT/Biz/Ide/hooks"
+  git config --local core.hooksPath "$CODEROOT/Biz/Ide/hooks"
 #
 # load local settings
   . ./.envrc.local
-- 
cgit v1.2.3