From ed4e214d481f67f796014aa80731b6d273618b6c Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 2 Nov 2019 15:54:20 -0700
Subject: add common scripts, remove old scripts, update readme

---
 push | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 push

(limited to 'push')

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