diff options
author | Ben Sima <ben@bsima.me> | 2022-03-30 14:40:02 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2022-03-30 14:40:02 -0400 |
commit | 1f0160873a04ce48106846dbd627608c3798304b (patch) | |
tree | 330bf48c4b1452426531fd2f4f74657fa9bb50dd | |
parent | b0c707e6f1fc03280ab45e34bec199740469e539 (diff) |
Replace ci with the git pre-push hook
-rw-r--r-- | Biz/Bild/ShellHook.sh | 7 | ||||
-rwxr-xr-x | Biz/Ide/hooks/pre-push | 2 |
2 files changed, 2 insertions, 7 deletions
diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh index b9add29..c7c30ed 100644 --- a/Biz/Bild/ShellHook.sh +++ b/Biz/Bild/ShellHook.sh @@ -70,13 +70,8 @@ } # # Poor man's ci - function run-ci() { - lint ./**/* && bild --test ./**/* - } + alias ci="$BIZ_ROOT/Biz/Ide/hooks/pre-push" # - function ci() { - time run-ci - } # shellcheck disable=SC2154 export PS1='\n$(r=$? && [ $r -eq 0 ] && printf "biz" || printf "%3.*s" $r $r)> ' # diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index 3d00aea..3c826c4 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -1,2 +1,2 @@ #!/usr/bin/env bash -lint **/* && bild --test **/* +lint "$BIZ_ROOT/**/*" && bild --test "$BIZ_ROOT/**/*" |