diff options
author | Ben Sima <ben@bsima.me> | 2022-07-18 10:01:30 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2022-07-18 22:23:12 -0400 |
commit | 2da57835006168e27b7f9b3226706c342df90f3a (patch) | |
tree | 21d0ce50d7eca8f4b976e2f6ade614fa09d01251 /Biz/Bild | |
parent | f6fcc3a51e1914e0270d60d4c688a0f747716018 (diff) |
Delete ShellHook.sh in favor of just using direnv
Diffstat (limited to 'Biz/Bild')
-rw-r--r-- | Biz/Bild/ShellHook.sh | 32 |
1 files changed, 0 insertions, 32 deletions
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 -## |