users/glittershark/xanthous/hie.sh


1
2
3
4
5
6
7
8
9
10

#!/usr/bin/env bash

cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1

argv=( "$@"  )
argv=( "${argv[@]/\'/\'\\\'\'}"  )
argv=( "${argv[@]/#/\'}"  )
argv=( "${argv[@]/%/\'}"  )

exec nix-shell --pure --run "exec $(nix-build -o dist/nix/hie -A hie)/bin/hie ${argv[*]}"