From b75dd273c2497c8ab565015f0c259a768400cf25 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 1 Jul 2009 12:21:45 +0200
Subject: public_hurd_boxen: How to connect to foobar.

---
 public_hurd_boxen.mdwn | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'public_hurd_boxen.mdwn')

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
-- 
cgit v1.2.3