about summary refs log tree commit diff
path: root/users/glittershark/xanthous/hie.sh
diff options
context:
space:
mode:
Diffstat (limited to 'users/glittershark/xanthous/hie.sh')
-rwxr-xr-xusers/glittershark/xanthous/hie.sh6
1 files changed, 0 insertions, 6 deletions
diff --git a/users/glittershark/xanthous/hie.sh b/users/glittershark/xanthous/hie.sh
deleted file mode 100755
index 223a432203b8..000000000000
--- a/users/glittershark/xanthous/hie.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1
-
-exec nix-shell --run "$(nix-build -o dist/bin/hie hie.nix)/bin/hie $*"