From 1f0160873a04ce48106846dbd627608c3798304b Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 30 Mar 2022 14:40:02 -0400
Subject: Replace ci with the git pre-push hook

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