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/Ide/deps | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 Biz/Ide/deps (limited to 'Biz/Ide/deps') 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" "$@" -- cgit v1.2.3