From cfd0863671e4e5121df2473b3bcdd05a323b25fb Mon Sep 17 00:00:00 2001
From: Franziska Kunsmann <hi@kunsmann.eu>
Date: Sat, 13 Feb 2021 16:39:55 +0100
Subject: [PATCH] create script/update-ssh-client-config

---
 scripts/update-ssh-client-config | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 scripts/update-ssh-client-config

diff --git a/scripts/update-ssh-client-config b/scripts/update-ssh-client-config
new file mode 100755
index 0000000..8b31e1e
--- /dev/null
+++ b/scripts/update-ssh-client-config
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+# Intended to be used as a git hook for post-commit, post-merge, post-receive
+#
+# Remember to include the generated ssh config on top of ~/.ssh/config:
+#   Include ~/.ssh/bwnode
+
+(
+    tmpfile=$(mktemp -p ~/.ssh/)
+    echo "# generated $(date)" >"$tmpfile"
+
+    BW_TABLE_STYLE=grep bw nodes -a hostname -- "lambda:not node.dummy" | \
+    while read node addr
+    do
+        echo "Host $node" >>"$tmpfile"
+        echo "HostName $addr" >>"$tmpfile"
+        echo "" >>"$tmpfile"
+    done
+
+    mv "$tmpfile" ~/.ssh/bwnodes
+) &