Generated.

[homepage.git] / blog / index.rss

diff --git a/blog/index.rss b/blog/index.rss
index 60979bb25881ce094abeb2c84b6922f1dacebe5f..11e2da831e4de7560396df42eafd35dbe96b4e4d 100644 (file)
--- a/blog/index.rss
+++ b/blog/index.rss
@@ -30,8 +30,8 @@ kvm internal DHCP server:</p>
 
 <p><blockquote><pre>
 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
 </pre></blockquote></p>