summaryrefslogtreecommitdiff
path: root/repl
diff options
context:
space:
mode:
Diffstat (limited to 'repl')
-rwxr-xr-xrepl9
1 files changed, 1 insertions, 8 deletions
diff --git a/repl b/repl
index 40528c7..b09bb5a 100755
--- a/repl
+++ b/repl
@@ -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"