create script/update-ssh-client-config

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
+) &