summaryrefslogtreecommitdiff
path: root/public_hurd_boxen.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-07-01 12:20:57 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-07-01 12:20:57 +0200
commitb1245fc1ebcf06fd0c00a15f4b7cd94cfa2a0bd2 (patch)
treee5796813c74a007cb4db423e1a6cd1e772aadf9a /public_hurd_boxen.mdwn
parent1c3c110fd96e087d060733383780497932780f23 (diff)
public_hurd_boxen: zenhost.
Diffstat (limited to 'public_hurd_boxen.mdwn')
-rw-r--r--public_hurd_boxen.mdwn7
1 files changed, 6 insertions, 1 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn
index 54694f3..46b4dfa 100644
--- a/public_hurd_boxen.mdwn
+++ b/public_hurd_boxen.mdwn
@@ -18,6 +18,7 @@ Here are some Hurd boxes that users have made available to the public:
"bddebian","foobar","Debian GNU/Hurd","Celeron 2.2 GHz; 160 MiB","Xen domU on zenhost; web server"
"bddebian","gnubber","Debian GNU/Hurd","PII 733 MHz; 384 MiB"
"bddebian","goober","Debian GNU/Hurd","?"
+"bddebian","zenhost","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts"
"""]]
To request an account on the *bddebian* machines either contact
@@ -48,7 +49,11 @@ connecting from:
HostName goober.bddebian.com
Port 2255
- Host *.bddebian.com clubber flubber gnubber goober
+ Host zenhost.bddebian.com zenhost
+ HostName zenhost.bddebian.com
+ Port 2260
+
+ Host *.bddebian.com clubber flubber gnubber goober zenhost
CheckHostIP no
UserKnownHostsFile /dev/null
StrictHostKeyChecking no