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