add common scripts, remove old scripts, update readme

1 files changed, 5 insertions, 0 deletions

diff --git a/push b/push
new file mode 100755
index 0000000..81ad75f
--- /dev/null
+++ b/push
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+where="$1"
+what="$2"
+nix copy --to ssh://root@$where $what
+ssh root@$where $(realpath $what)/bin/switch-to-configuration switch