X-Git-Url: http://pere.pagekite.me/gitweb/homepage.git/blobdiff_plain/b8cfdc4c79eda32eae7d84374df6c3660e65f93a..5a21b31fbaf9c7d7c6c8b01f8f09477a7e5f9e31:/blog/data/2014-02-03-debian-hurd-sysvinit.txt

diff --git a/blog/data/2014-02-03-debian-hurd-sysvinit.txt b/blog/data/2014-02-03-debian-hurd-sysvinit.txt
index ee008bed36..66acaef553 100644
--- a/blog/data/2014-02-03-debian-hurd-sysvinit.txt
+++ b/blog/data/2014-02-03-debian-hurd-sysvinit.txt
@@ -20,10 +20,10 @@ commands as root to get the machine to accept a IP address from the
 kvm internal DHCP server:</p>
 
 <p><blockquote><pre>
-settrans -fgap /dev/netdde /hurd/netdde 
-kill -9 $(ps -ef|awk '/[p]finet/ { print $2}')
-kill -9 $(ps -ef|awk '/[d]evnode/ { print $2}')
-dhclient -v /dev/eth0
+settrans -fgap /dev/netdde /hurd/netdde
+kill $(ps -ef|awk '/[p]finet/ { print $2}')
+kill $(ps -ef|awk '/[d]evnode/ { print $2}')
+dhclient /dev/eth0
 </pre></blockquote></p>
 
 <p>After this, the machine had internet connectivity, and I could
@@ -46,7 +46,7 @@ EOF
 apt-get update
 apt-get dist-upgrade
 apt-get install -t experimental initscripts sysv-rc sysvinit \
-    sysvinit-core sysvinit-utils 
+    sysvinit-core sysvinit-utils
 update-alternatives --config runsystem
 </pre></blockquote></p>