diff options
| author | Ben Sima <ben@bsima.me> | 2024-11-15 14:55:37 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-12-21 10:06:49 -0500 |
| commit | 6513755670892983db88a6633b8c1ea6019c03d1 (patch) | |
| tree | 44e9eccdb7a3a74ab7e96a8fee7572dd6a78dc73 /.envrc | |
| parent | ae7b7e0186b5f2e0dcd4d5fac0a71fa264caedc2 (diff) | |
Re-namespace some stuff to Omni
I was getting confused about what is a product and what is internal
infrastructure; I think it is good to keep those things separate. So I moved a
bunch of stuff to an Omni namespace, actually most stuff went there. Only things
that are explicitly external products are still in the Biz namespace.
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -7,8 +7,8 @@ # watch some files that effect the dev environment # watch_file shell.nix # watch_file default.nix -# watch_file Biz/Bild.nix -# watch_file Biz/Bild.hs +# watch_file Omni/Bild.nix +# watch_file Omni/Bild.hs # if direnv doesn't detect changes to the nix environment, just touch .envrc and # it will refresh use nix @@ -17,7 +17,7 @@ export COLUMNS # # scripts for editing go here - PATH_add $CODEROOT/Biz/Ide + PATH_add $CODEROOT/Omni/Ide # # executable bild outputs go here PATH_add $CODEROOT/_/bin @@ -40,15 +40,15 @@ fi # # configure git - git config --local core.hooksPath "$CODEROOT/Biz/Ide/hooks" + git config --local core.hooksPath "$CODEROOT/Omni/Ide/hooks" git config --local notes.displayRef refs/notes/ci git config --local remotes.origin.fetch +refs/notes/*:refs/notes/* notes git config --local branchless.test.strategy worktree git config --local branchless.test.alias.default 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild --test **/*' git config --local branchless.test.alias.bild 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild **/*' - git config --local branchless.test.alias.lint 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint **/*' - git config --local branchless.test.alias.lintfix 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint --fix **/*' - git config --local branchless.test.alias.ci 'export CI=1; git clean -ffdx; eval $(direnv export bash); Biz/Ci.sh' + git config --local branchless.test.alias.lint 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Omni/Lint.hs; lint **/*' + git config --local branchless.test.alias.lintfix 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Omni/Lint.hs; lint --fix **/*' + git config --local branchless.test.alias.ci 'export CI=1; git clean -ffdx; eval $(direnv export bash); Omni/Ci.sh' # # end here if we are in CI [[ -n "CI" ]] && exit 0 @@ -56,7 +56,7 @@ # create third-party tags [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d function MakeExternalTags { - "$CODEROOT"/Biz/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES") + "$CODEROOT"/Omni/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES") } hashfile="$CODEROOT"/_/src/hash curhash=$(cat "$hashfile") |