From 2351224340999dc21997a19db094f644c240318b Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sun, 26 Jul 2020 10:19:54 -0700
Subject: dev: move _{bild,keep,skey} to _/{bild,keep,skey}

---
 nix/shellHook.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'nix/shellHook.sh')

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")
-- 
cgit v1.2.3