diff options
Diffstat (limited to 'public_hurd_boxen.mdwn')
| -rw-r--r-- | public_hurd_boxen.mdwn | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn index 46b4dfa1..21db7c4e 100644 --- a/public_hurd_boxen.mdwn +++ b/public_hurd_boxen.mdwn @@ -41,6 +41,9 @@ connecting from: HostName flubber.bddebian.com Port 2250 + Host foobar.bddebian.com foobar + HostName foobar.bddebian.com + Host gnubber.bddebian.com gnubber HostName gnubber.bddebian.com Port 2254 @@ -53,7 +56,10 @@ connecting from: HostName zenhost.bddebian.com Port 2260 - Host *.bddebian.com clubber flubber gnubber goober zenhost + Host foobar.bddebian.com foobar + ProxyCommand ssh zenhost socat - TCP4:%h:%p + + Host *.bddebian.com clubber flubber foobar gnubber goober zenhost CheckHostIP no UserKnownHostsFile /dev/null StrictHostKeyChecking no |