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

(limited to 'Biz/Ide/ship')

diff --git a/Biz/Ide/ship b/Biz/Ide/ship
index f817d29..33197c8 100755
--- a/Biz/Ide/ship
+++ b/Biz/Ide/ship
@@ -9,9 +9,9 @@
   stuff=(${@})
   if [[ ${#stuff[@]} -eq 0 ]]
   then
-    stuff=$(fd -t l . "$BIZ_ROOT/_" \
+    stuff=$(fd -t l . "$CODEROOT/_" \
       | fzf --multi \
-      | sed "s,$BIZ_ROOT/_/nix/,,g"
+      | sed "s,$CODEROOT/_/nix/,,g"
     )
   fi
   lint ${stuff[@]}
-- 
cgit v1.2.3