diff options
Diffstat (limited to 'repl')
-rwxr-xr-x | repl | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -0,0 +1,11 @@ +#!/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" \ + -c ghci -i$BIZ_ROOT -ghci-script "$BIZ_ROOT/.ghci" |