From 2da57835006168e27b7f9b3226706c342df90f3a Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 18 Jul 2022 10:01:30 -0400
Subject: Delete ShellHook.sh in favor of just using direnv

---
 Biz/Bild/ShellHook.sh | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 Biz/Bild/ShellHook.sh

(limited to 'Biz/Bild/ShellHook.sh')

diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh
deleted file mode 100644
index c2e191a..0000000
--- a/Biz/Bild/ShellHook.sh
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/usr/bin/env bash
-##
-  function tips() {
-    echo ""
-    echo "bizdev" | figlet | lolcat
-    echo ""
-    echo "   bild   compile code"
-    echo "   repl   start a repl"
-    echo "   ci     run all builds and tests"
-    echo "   deps   manage dependencies with niv"
-    echo "   tips   show this message"
-    echo "   lint   auto-lint all changed files"
-    echo "   push   send a namespace to the cloud"
-    echo "   ship   lint, bild, and push one (or all) namespace(s)"
-  }
-#
-  alias runghc="runghc --ghc-arg=-i\$BIZ_ROOT"
-  alias guile="guile -L \$BIZ_ROOT"
-  alias tree="tree -I _ -F"
-# configure git hooks
-  git config --local core.hooksPath "$BIZ_ROOT/Biz/Ide/hooks"
-#
-  function deps() {
-    niv --sources-file "$BIZ_ROOT/Biz/Bild/Sources.json" "$@"
-  }
-#
-# Poor man's ci
-  alias ci="$BIZ_ROOT/Biz/Ide/hooks/pre-push"
-#
-#
-  tips
-##
-- 
cgit v1.2.3