summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2021-10-17 12:33:33 -0400
committerBen Sima <ben@bsima.me>2021-11-26 13:47:39 -0500
commit03ec537b1ee14f3304e9951f810085a90c61c44d (patch)
tree479cb7eed350013c6d7e7c3eb2d2028a877dcfc4
parentf432b7057738cb5123c8e1b506a2a1199e71ee72 (diff)
Fix ci script and pre-push
-rw-r--r--Biz/Bild/ShellHook.sh5
-rwxr-xr-xBiz/Ide/pre-push2
2 files changed, 5 insertions, 2 deletions
diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh
index d402755..625ac60 100644
--- a/Biz/Bild/ShellHook.sh
+++ b/Biz/Bild/ShellHook.sh
@@ -80,7 +80,10 @@ function sentry() {
function run-ci() {
lint **/* && bild --test **/*
}
-alias ci="time run-ci"
+
+function ci() {
+ time run-ci
+}
export PS1='\n$(r=$? && [ $r -eq 0 ] && printf "biz" || printf "%3.*s" $r $r)> '
diff --git a/Biz/Ide/pre-push b/Biz/Ide/pre-push
index 2a5ee7b..3d00aea 100755
--- a/Biz/Ide/pre-push
+++ b/Biz/Ide/pre-push
@@ -1,2 +1,2 @@
#!/usr/bin/env bash
-ci
+lint **/* && bild --test **/*