diff options
| author | Ben Sima <ben@bsima.me> | 2023-09-21 22:30:17 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-10-03 21:33:37 -0400 |
| commit | 4226cbd8020253b010fb44d395db12efe68e1272 (patch) | |
| tree | 4ee121a0cf26098b1cec1feed24c2cdd8e036562 /.envrc | |
| parent | dbdf4da2576f889544a33ce0bad4b8a5ff3eca87 (diff) | |
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.
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 |