summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public_hurd_boxen.mdwn15
1 files changed, 11 insertions, 4 deletions
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn
index b075d4ac..dfb1f006 100644
--- a/public_hurd_boxen.mdwn
+++ b/public_hurd_boxen.mdwn
@@ -11,7 +11,9 @@ License|/fdl]]."]]"""]]
[[!tag stable_URL]]
-Here are some Hurd boxes that users have made available to the public:
+There are GNU/Hurd boxes that we're offering shell accounts on. These are
+generally available for everyone interested in [[contributing]], or just having
+a look at a GNU/Hurd system.
[[!table class="table_style_1" data="""
"Hoster","Name","Distribution","Machine Specs","Comments"
@@ -23,10 +25,11 @@ Here are some Hurd boxes that users have made available to the public:
"[[bddebian]]","goober","Debian GNU/Hurd","?"
"[[bddebian]]","grubber","Debian GNU/Hurd","Celeron 2.2 GHz; 554 MiB","Xen domU on [[zenhost]]; for experimental stuff"
"[[bddebian]]","[[zenhost]]","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts"
+"Debian","strauss","Debian GNU/Hurd",,"all Debian Developers have access without any special account setup procedure"
"""]]
To request an account on the *[[bddebian]]* machines either contact
-*bddebian* or *tschwinge* (other people might also be able to help) in [[IRC]]
+*tschwinge* (other people might also be able to help) in [[IRC]]
or send email to <hurd-shell-account@gnu.org> (please include your desired user
name and public SSH key). Also use these contact
addresses for requesting support with respect to software installations, etc.
@@ -35,8 +38,10 @@ addresses for requesting support with respect to software installations, etc.
For easy access, you should append your public SSH key(s)
to `~/.ssh/authorized_keys` on the remote machine.
-Also, add the following stanza to `~/.ssh/config` of the machine you're
-connecting from:
+Also, add the [[!toggle id=bddebian_ssh_config text="following stanza"]] to
+`~/.ssh/config` file of the machine you're connecting from.
+
+[[!toggleable id=bddebian_ssh_config text="""
Host blubber.bddebian.com blubber
HostName blubber.bddebian.com
@@ -76,3 +81,5 @@ connecting from:
The `CheckHostIP` statement is for not having to worry about the machines's IP
addresses changing (due to being behind a dial-up connection).
+
+"""]]