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.
---
 Biz/Ide/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Biz/Ide/run')

diff --git a/Biz/Ide/run b/Biz/Ide/run
index bf35e3e..f7b9d36 100755
--- a/Biz/Ide/run
+++ b/Biz/Ide/run
@@ -3,4 +3,4 @@ set -eu
 target=$1
 shift
 out=$(rg --only-matching ": out (\w*)" -r '$1' $target)
-exec "${BIZ_ROOT:?}/_/bin/$out" "$@"
+exec "${CODEROOT:?}/_/bin/$out" "$@"
-- 
cgit v1.2.3