From 2da57835006168e27b7f9b3226706c342df90f3a Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 18 Jul 2022 10:01:30 -0400 Subject: Delete ShellHook.sh in favor of just using direnv --- Biz/Bild.nix | 1 - Biz/Bild/ShellHook.sh | 32 -------------------------------- Biz/Ide/deps | 4 ++++ Biz/Ide/tips | 12 ++++++++++++ 4 files changed, 16 insertions(+), 33 deletions(-) delete mode 100644 Biz/Bild/ShellHook.sh create mode 100755 Biz/Ide/deps create mode 100755 Biz/Ide/tips (limited to 'Biz') 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 "" -- cgit v1.2.3