From 4226cbd8020253b010fb44d395db12efe68e1272 Mon Sep 17 00:00:00 2001 From: Ben Sima 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/tidy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Biz/Ide/tidy') diff --git a/Biz/Ide/tidy b/Biz/Ide/tidy index edea828..ec666ba 100755 --- a/Biz/Ide/tidy +++ b/Biz/Ide/tidy @@ -1,2 +1,2 @@ #!/usr/bin/env bash -rm -f $BIZ_ROOT/_/bin/* +rm -f $CODEROOT/_/bin/* -- cgit v1.2.3