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/push | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Biz/Ide/push')

diff --git a/Biz/Ide/push b/Biz/Ide/push
index c4bfb72..2238e06 100755
--- a/Biz/Ide/push
+++ b/Biz/Ide/push
@@ -2,14 +2,14 @@
 # Eventually convert to haskell, see:
 # - https://github.com/awakesecurity/nix-deploy/blob/master/src/Main.hs
 # - http://www.haskellforall.com/2018/08/nixos-in-production.html
-prefix=$(echo $PWD | sed -e "s|^${BIZ_ROOT:?}/*||g")
+prefix=$(echo $PWD | sed -e "s|^${CODEROOT:?}/*||g")
 if [[ "$prefix" == "" ]]
 then
   target="$1"
 else
   target="$prefix.$1"
 fi
-what=$(realpath "${BIZ_ROOT:?}/_/nix/$target")
+what=$(realpath "${CODEROOT:?}/_/nix/$target")
 # hack: get the domain from the activation script. there does not seem
 # to be a way to get it from nix-instantiate
 where=$(rg -r '$2' -e '(domainname ")(.*)(")' "$what/activate")
-- 
cgit v1.2.3