diff options
-rwxr-xr-x | push | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |