2edb963b97
git-subtree-dir: users/glittershark/xanthous git-subtree-mainline:91f53f02d8git-subtree-split:53b56744f4
10 lines
265 B
Bash
Executable file
10 lines
265 B
Bash
Executable file
#!/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[*]}"
|