summaryrefslogtreecommitdiff
path: root/push
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-07-25 15:01:06 -0700
committerBen Sima <ben@bsima.me>2020-07-25 15:01:06 -0700
commite8b1ebd849a1312add580cf3492721670001ca30 (patch)
tree1c143643f527f145d79d010348850cbc8bdd6370 /push
parent6a6aa57afe94f8ffee3a648ca66aa16099714b94 (diff)
shell: move push and ship to shell hook
Diffstat (limited to 'push')
-rwxr-xr-xpush16
1 files changed, 0 insertions, 16 deletions
diff --git a/push b/push
deleted file mode 100755
index 575ca1e..0000000
--- a/push
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-set -ex
-prefix=$(echo $PWD | sed -e "s|^$BIZ_ROOT/*||g" -e "s|/|.|g")
-if [[ "$prefix" == "" ]]
-then
- target="$1"
-else
- target="$prefix.$1"
-fi
-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")
-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