diff options
| -rw-r--r-- | hurd/running/debian/dhcp.mdwn | 12 | ||||
| -rw-r--r-- | open_issues/code_analysis.mdwn | 15 | ||||
| -rw-r--r-- | open_issues/code_analysis/discussion.mdwn | 12 | ||||
| -rw-r--r-- | shortcuts.mdwn | 6 |
4 files changed, 28 insertions, 17 deletions
diff --git a/hurd/running/debian/dhcp.mdwn b/hurd/running/debian/dhcp.mdwn index 8d351aae..afa46799 100644 --- a/hurd/running/debian/dhcp.mdwn +++ b/hurd/running/debian/dhcp.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2011, 2012 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 @@ -10,16 +10,16 @@ License|/fdl]]."]]"""]] [[!tag open_issue_porting]] -In order to use DHCP, you need to install the `ifup` and `isc-dhcp-client` -packages, and manually create the following two symbolic links: +In order to use DHCP, you need to install the `ifupdown` and `isc-dhcp-client` +packages, and manually create the following symbolic link: - # ln -s ../rcS.d/S06ifupdown-clean ../rcS.d/S11networking /etc/rc.boot/ + # ln -s ../rcS.d/S10networking /etc/rc.boot/ -During execution at boot time, the `S11networking` script will emit some error +During execution at boot time, the `S10networking` script will emit some error messages while trying to configure the loopback interface. These are not fatal. -Debian GNU/Hurd doesn't currently execute's Debian standard `/etc/rcS.d/*` boot +Debian GNU/Hurd doesn't currently execute Debian standard `/etc/rcS.d/*` boot scripts, but has its own `/libexec/rc` script -- which integrates scripts from `/etc/rc.boot/` instead. diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index 00915651..4702fce6 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -85,11 +85,26 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * [Coverity](http://www.coverity.com/) (nonfree?) + * [Splint](http://www.splint.org/) + + * IRC, freenode, #hurd, 2011-12-04 + + <mcsim> has anyone used splint on hurd? + <mcsim> this is tool for statically checking C programs + <mcsim> seems I made it work + # Dynamic * [[community/gsoc/project_ideas/Valgrind]] + * glibc's `libmcheck` + + * Used by GDB, for example. + + * Is not thread-safe, [[!sourceware_bug 6547]], [[!sourceware_bug 9939]], + [[!sourceware_bug 12751]], [[!stackoverflow_question 314931]]. + * <http://en.wikipedia.org/wiki/Electric_Fence> * <http://sourceforge.net/projects/duma/> diff --git a/open_issues/code_analysis/discussion.mdwn b/open_issues/code_analysis/discussion.mdwn index f8a0657d..f6b1e8c1 100644 --- a/open_issues/code_analysis/discussion.mdwn +++ b/open_issues/code_analysis/discussion.mdwn @@ -15,17 +15,6 @@ License|/fdl]]."]]"""]] # IRC, freenode, #hurd, 2011-12-04 - <mcsim> has anyone used splice on hurd? - <mcsim> splice -> splint - <youpi> not that I know of - <mcsim> this is tool for statically checking C programs - <mcsim> seems I made it work - <braunr> hm i realli i personnally dislike such tools a lot, but sometimes - it might help - <braunr> hello hurd people - <mcsim> braunr: hello - <braunr> mcsim: duma may be helpful as replacement for the memcheck part of - valgrind <mcsim> defpager uses it's own dynamic memory allocator, which uses vm_allocate/vm_deallocate as backing store? Am I able to use duma in such case? @@ -38,6 +27,7 @@ License|/fdl]]."]]"""]] <mcsim> yes, wired memory <braunr> you'll have to change that in duma then <braunr> but apart from such details, it should be straightforward + <antrik> braunr: I have no idea about duma; but if you think it's a useful tool, please add it to open_issues/code_analysis.mdwn <antrik> (I guess we should have a "proper" page listing useful debugging diff --git a/shortcuts.mdwn b/shortcuts.mdwn index 5afa106e..439caf33 100644 --- a/shortcuts.mdwn +++ b/shortcuts.mdwn @@ -104,3 +104,9 @@ ikiwiki will include your shortcut in the standard underlay. * [[!shortcut name=sourceware_bug url="http://sourceware.org/bugzilla/show_bug.cgi?id=%s" desc="sourceware.org bug #%s"]] + +## <http://stackoverflow.com/> + + * [[!shortcut name=stackoverflow_question + url="http://http://stackoverflow.com/questions/%s" + desc="Stack Overflow question %s"]] |