diff options
| author | Ben Sima <ben@bsima.me> | 2020-07-26 10:19:54 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-07-26 10:19:54 -0700 |
| commit | 2351224340999dc21997a19db094f644c240318b (patch) | |
| tree | 907939df4e26fa040388bd17299b9aa34b64d58b /nix/shellHook.sh | |
| parent | a3b0d69cc23a5f53cd48d82655b5247c1884eb51 (diff) | |
dev: move _{bild,keep,skey} to _/{bild,keep,skey}
Diffstat (limited to 'nix/shellHook.sh')
| -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") |