Delete ShellHook.sh in favor of just using direnv

4 files changed, 16 insertions, 33 deletions

diff --git a/Biz/Bild.nix b/Biz/Bild.nix
index cfdd5b8..a56ba4d 100644
--- a/Biz/Bild.nix
+++ b/Biz/Bild.nix
@@ -164,7 +164,6 @@ in rec {
       #inspekt3d
       #libfive
     ];
-    shellHook = ". ${./Bild/ShellHook.sh}";
   };
 
   os = cfg: (nixpkgs.nixos (args: cfg)).toplevel;
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
-##
diff --git a/Biz/Ide/deps b/Biz/Ide/deps
new file mode 100755
index 0000000..1dc7ff3
--- /dev/null
+++ b/Biz/Ide/deps
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+#
+# this really needs to be its own Biz/Bild/Deps.hs thing
+niv --sources-file "$BIZ_ROOT/Biz/Bild/Sources.json" "$@"
diff --git a/Biz/Ide/tips b/Biz/Ide/tips
new file mode 100755
index 0000000..1b998e6
--- /dev/null
+++ b/Biz/Ide/tips
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+echo ""
+echo "bizdev" | figlet | lolcat
+echo ""
+echo "   bild   compile code"
+echo "   repl   start a repl"
+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)"
+echo ""