From adc1052ce966d6243ee18198c042c40933fca945 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 15 Apr 2020 12:40:22 -0700
Subject: Get $where from the bilt derivation data

This will only work on OS'es, but I think that's fine because that's the
only thing I deploy.
---
 push | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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