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