tvl-depot/users/glittershark/xanthous/hie.sh

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

11 lines
265 B
Bash
Raw Normal View History

#!/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[*]}"