add nico_ssh_proxy for jumping to existing hosts

nico_ssh_proxy

@@ -0,0 +1,17 @@
+#!/bin/sh
+# Nico Schottelius, 2024-02-19, RIPEL Cafe
+# Logic:
+# Remove first argument, which is assumed to be the hostname
+# ...
+# not even needed, go back to sleep.
+
+jumphost=nico@nico-vm.schottelius.org
+
+# echo "$@"
+# original=$1; shift
+# new=$(echo $original | sed 's/.not$//')
+
+set -- -oProxyCommand="ssh -W %h:%p ${jumphost}" "$@"
+
+# echo ssh "$@"
+ssh "$@"