diff options
| -rw-r--r-- | public_hurd_boxen.mdwn | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn index 54694f35..46b4dfa1 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 |