diff options
Diffstat (limited to 'repl')
-rwxr-xr-x | repl | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -1,11 +1,4 @@ #!/usr/bin/env bash set -ex -prefix=$(echo $PWD | sed -e "s|^$BIZ_ROOT/*||" -e "s|/|.|g") -if [[ "$prefix" == "" ]] -then - target="$1" -else - target="$prefix.$1" -fi -nix run -f $BIZ_ROOT/default.nix "$target.env" \ +nix run -f $BIZ_ROOT/default.nix "repl" \ -c ghci -i$BIZ_ROOT -ghci-script "$BIZ_ROOT/.ghci" |