diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/shellHook.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/nix/shellHook.sh b/nix/shellHook.sh index 981f86e..d1cfaf1 100644 --- a/nix/shellHook.sh +++ b/nix/shellHook.sh @@ -24,18 +24,18 @@ alias ghci="ghci -i$BIZ_ROOT -ghci-script $BIZ_ROOT/.ghci" function hero() { export HERO_PORT=3000 - export HERO_KEEP=$BIZ_ROOT/_keep - export HERO_SKEY=$BIZ_ROOT/_skey + export HERO_KEEP=$BIZ_ROOT/_/keep + export HERO_SKEY=$BIZ_ROOT/_/skey bild="runghc Biz.Bild" if [[ -z "${IN_NIX_SHELL}" ]] then - out="_bild/dev" + out="_/bild/dev" export HERO_NODE=$BIZ_ROOT/$out/static/mmc.js/all.js rg --files \ | entr -rcs \ "$bild Hero.Host && $bild Hero.Node && $out/bin/mmc" else - out="_bild/nix" + out="_/bild/nix" export HERO_NODE=$BIZ_ROOT/$out/Hero.Node/static rg --files \ | entr -rcs \ @@ -56,7 +56,7 @@ function push() { else target="$prefix.$1" fi - what=$(realpath "$BIZ_ROOT/_bild/$target") + what=$(realpath "$BIZ_ROOT/_/bild/$target") # hack: get the domain from the activation script. there does not seem # to be a way to get it from nix-instantiate where=$(rg -r '$2' -e '(domainname ")(.*)(")' "$what/activate") |