[[meta copyright="Copyright © 2006, 2007, 2008 Free Software Foundation,
Inc."]]

[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
is included in the section entitled
[[GNU_Free_Documentation_License|/fdl]]."]]"""]]

Here are some Hurd boxes that users have made available to the public:

[[table class="table_style_1" data="""
"Host Name","Operator","Access","Distro","Machine Specs","Comments"
"flubber.bddebian.com","[[Barry_de_Freese|bddebian]]","ssh; port 2250","Debian","PII 550 MHz; 384 MiB","used for the wiki, and a bit short on disk space, so please don't use for general work"
"clubber.bddebian.com","[[Barry_de_Freese|bddebian]]","ssh; port 2251","Debian","PIII 1 GHz; 384 MiB"
"gnubber.bddebian.com","[[Barry_de_Freese|bddebian]]","ssh; port 2254","Debian","PII 733 MHz; 384 MiB"
"goober.bddebian.com","[[Barry_de_Freese|bddebian]]","ssh; port 2255","Debian","?"
"hurd.nipl.net","[[AlastairPoole]]","ssh; port 24","GNU","AMD Sempron 2800 MHz","not sure if this machine is still alive"
"""]]

To request an account on the `*.bddebian.com` machines either contact
*bddebian* or *tschwinge* (other people might also be able to help) in [[IRC]]
or send email to <hurd-shell-account@gnu.org>.  Also use these contact
addresses for requesting support with respect to software installations, etc.

For the `hurd.nipl.net` host, please see <http://www.nipl.net/>.

For a list of people using the Hurd in production systems, please see 
[[Hurd/WhoRunsGNU]].

---

/!\ SSH access to the machines is very instable at the moment.  This is
probably due to problems with the [[hurd/translator/pfinet]] server.

  * <http://lists.gnu.org/archive/html/bug-hurd/2008-07/msg00052.html>

---


To be able to use just `ssh [machine]`, you should append your public SSH key
to `~/.ssh/authorized_keys` on the remote machine.

And if you don't want to worry about the machines's IP addresses changing (due
to dial-up connection) or the host keys changing every now and then (when the
machines are re-installed), put something like the following into
`~/.ssh/config` of the machine you connect from:

    Host clubber.bddebian.com clubber
      HostName clubber.bddebian.com
      Port 2251
    
    Host flubber.bddebian.com flubber
      HostName flubber.bddebian.com
      Port 2250
    
    Host gnubber.bddebian.com gnubber
      HostName gnubber.bddebian.com
      Port 2254
    
    Host goober.bddebian.com goober
      HostName goober.bddebian.com
      Port 2255
    
    Host *.bddebian.com clubber flubber gnubber goober
      CheckHostIP no
      UserKnownHostsFile /dev/null
      StrictHostKeyChecking no
      User [username]