summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xpush4
1 files changed, 3 insertions, 1 deletions
diff --git a/push b/push
index 7c36684..575ca1e 100755
--- a/push
+++ b/push
@@ -8,7 +8,9 @@ else
target="$prefix.$1"
fi
what=$(realpath "$BIZ_ROOT/_bild/$target")
-where="$2"
+# 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")
nix copy --to ssh://root@$where $what
ssh root@$where $what/bin/switch-to-configuration switch
ssh root@$where nix-env --profile /nix/var/nix/profiles/system --set $what