From 83ec81f0abe83513a82c647208b702f492d60c21 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Thu, 10 Sep 2020 14:27:54 +0200
Subject: [PATCH] add script to add key to server

---
 add-key-to-server.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 add-key-to-server.sh

diff --git a/add-key-to-server.sh b/add-key-to-server.sh
new file mode 100755
index 0000000..e690c75
--- /dev/null
+++ b/add-key-to-server.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+if [ $# -lt 2 ]; then
+    echo "$0 server keyname [keyname...]"
+    exit 1
+fi
+
+server=$1; shift
+
+for keyname in "$@"; do
+    url=https://key.wf/${keyname}
+    ssh root@$server "curl -Ls $url >> ~/.ssh/authorized_keys" < /dev/null
+done