summaryrefslogtreecommitdiff
path: root/public_hurd_boxen.mdwn
blob: 4b9290fe09914cfd549138cf02e87d9034bf1f08 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
[[meta copyright="Copyright © 2006, 2007, 2008, 2009 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","Celeron; 2.2 GHz; 333 MiB","domU on zenhost"
"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","?"
"""]]

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 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]