diff options
Diffstat (limited to 'public_hurd_boxen.mdwn')
| -rw-r--r-- | public_hurd_boxen.mdwn | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn index 217a4ff2..a36737c5 100644 --- a/public_hurd_boxen.mdwn +++ b/public_hurd_boxen.mdwn @@ -19,6 +19,7 @@ Here are some Hurd boxes that users have made available to the public: "[[bddebian]]","[[foobar|zenhost]]","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]]","[[grubber|zenhost]]","Debian GNU/Hurd","Celeron 2.2 GHz; 222 MiB","Xen domU on zenhost; for experimental stuff" "[[bddebian]]","[[zenhost]]","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts" """]] @@ -56,14 +57,17 @@ connecting from: HostName goober.bddebian.com Port 2255 + Host grubber.bddebian.com grubber + HostName grubber.bddebian.com + Host zenhost.bddebian.com zenhost HostName zenhost.bddebian.com Port 2260 - Host blubber.bddebian.com blubber foobar.bddebian.com foobar + Host blubber.bddebian.com blubber foobar.bddebian.com foobar grubber.bddebian.com grubber ProxyCommand ssh zenhost socat - TCP4:%h:%p - Host *.bddebian.com blubber clubber flubber foobar gnubber goober zenhost + Host *.bddebian.com blubber clubber flubber foobar gnubber goober grubber zenhost CheckHostIP no UserKnownHostsFile /dev/null StrictHostKeyChecking no |