No need for kill -9.

diff --git a/blog/data/2014-02-03-debian-hurd-sysvinit.txt b/blog/data/2014-02-03-debian-hurd-sysvinit.txt
index ee008bed36573e3bc765ab8de564f0ac82e94e0d..167114df84846ce3eec9784446afe11d192b02e0 100644 (file)
--- a/blog/data/2014-02-03-debian-hurd-sysvinit.txt
+++ b/blog/data/2014-02-03-debian-hurd-sysvinit.txt
@@ -21,8 +21,8 @@ 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}')
+kill $(ps -ef|awk '/[p]finet/ { print $2}')
+kill $(ps -ef|awk '/[d]evnode/ { print $2}')
 dhclient -v /dev/eth0
 </pre></blockquote></p>