diff options
| author | Ben Sima <ben@bsima.me> | 2021-10-17 12:33:33 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:39 -0500 |
| commit | 03ec537b1ee14f3304e9951f810085a90c61c44d (patch) | |
| tree | 479cb7eed350013c6d7e7c3eb2d2028a877dcfc4 /Biz | |
| parent | f432b7057738cb5123c8e1b506a2a1199e71ee72 (diff) | |
Fix ci script and pre-push
Diffstat (limited to 'Biz')
| -rw-r--r-- | Biz/Bild/ShellHook.sh | 5 | ||||
| -rwxr-xr-x | Biz/Ide/pre-push | 2 |
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 **/* |