From: Petter Reinholdtsen
Date: Mon, 3 Feb 2014 12:43:52 +0000 (+0000)
Subject: pkill do not work yet.
X-Git-Url: http://pere.pagekite.me/gitweb/homepage.git/commitdiff_plain/b8cfdc4c79eda32eae7d84374df6c3660e65f93a?ds=inline
pkill do not work yet.
---
diff --git a/blog/data/2014-02-03-debian-hurd-sysvinit.txt b/blog/data/2014-02-03-debian-hurd-sysvinit.txt
index 3aa0c1fe2d..ee008bed36 100644
--- 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:
settrans -fgap /dev/netdde /hurd/netdde
-pkill pfinet
-pkill devnode
+kill -9 $(ps -ef|awk '/[p]finet/ { print $2}')
+kill -9 $(ps -ef|awk '/[d]evnode/ { print $2}')
dhclient -v /dev/eth0