From 03ec537b1ee14f3304e9951f810085a90c61c44d Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sun, 17 Oct 2021 12:33:33 -0400
Subject: Fix ci script and pre-push

---
 Biz/Bild/ShellHook.sh | 5 ++++-
 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 **/*
-- 
cgit v1.2.3