summaryrefslogtreecommitdiff
path: root/Biz
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2022-03-30 14:40:02 -0400
committerBen Sima <ben@bsima.me>2022-03-30 14:40:02 -0400
commit1f0160873a04ce48106846dbd627608c3798304b (patch)
tree330bf48c4b1452426531fd2f4f74657fa9bb50dd /Biz
parentb0c707e6f1fc03280ab45e34bec199740469e539 (diff)
Replace ci with the git pre-push hook
Diffstat (limited to 'Biz')
-rw-r--r--Biz/Bild/ShellHook.sh7
-rwxr-xr-xBiz/Ide/hooks/pre-push2
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/**/*"