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 /Biz/Ide/ship | |
| 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 'Biz/Ide/ship')
| -rwxr-xr-x | Biz/Ide/ship | 4 |
1 files changed, 2 insertions, 2 deletions
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[@]} |