summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-07-01 12:21:45 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-07-01 12:21:45 +0200
commitb75dd273c2497c8ab565015f0c259a768400cf25 (patch)
tree3a9758d280b0e57daeea9e4a45eacbc9a3370eaa
parentb1245fc1ebcf06fd0c00a15f4b7cd94cfa2a0bd2 (diff)
public_hurd_boxen: How to connect to foobar.
-rw-r--r--public_hurd_boxen.mdwn8
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