diff options
| -rw-r--r-- | open_issues/boehm_gc.mdwn | 3 | ||||
| -rw-r--r-- | public_hurd_boxen.mdwn | 21 |
2 files changed, 9 insertions, 15 deletions
diff --git a/open_issues/boehm_gc.mdwn b/open_issues/boehm_gc.mdwn index c215d501..19bd1b21 100644 --- a/open_issues/boehm_gc.mdwn +++ b/open_issues/boehm_gc.mdwn @@ -277,4 +277,7 @@ It has last been run and compared on 2010-11-10, based on CVS HEAD sources from * What are other applications to test Boehm GC? Also especially in combination with [[/libpthread]] and dynamic loading of shared libraries? + * There's been some talking about it on GNU guile mailing lists, and two + Git branches (2010-12-15: last change 2009-09). + * <http://www.hpl.hp.com/personal/Hans_Boehm/gc/#users> diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn index fc0c1c3a..f81f46a6 100644 --- a/public_hurd_boxen.mdwn +++ b/public_hurd_boxen.mdwn @@ -6,8 +6,8 @@ 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]]."]]"""]] +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] Here are some Hurd boxes that users have made available to the public: @@ -23,14 +23,10 @@ Here are some Hurd boxes that users have made available to the public: "[[bddebian]]","[[zenhost]]","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts" """]] -[[!template id=note text="""**flubber re-installed** - -As of 2010-10-10, flubber has been re-installed. Please tell us if there are -any missing packages, customizations, etc."""]] - To request an account on the *[[bddebian]]* 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 +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. @@ -74,12 +70,7 @@ connecting from: Host *.bddebian.com blubber clubber flubber gnubber goober grubber snubber zenhost CheckHostIP no - UserKnownHostsFile /dev/null - StrictHostKeyChecking no - User [username] + User [user name] The `CheckHostIP` statement is for not having to worry about the machines's IP -addresses changing (due to dial-up connection), and the `UserKnownHostsFile` -one together with the `StrictHostKeyChecking` one are for not having ot worry -about the host keys changing (when the machines are re-installed). Of course, -this undermines SSH's security system, so you may disagree about these. +addresses changing (due to being behind a dial-up connection). |