Generated.

[homepage.git] / blog / archive / 2014 / 02 / 02.rss

diff --git a/blog/archive/2014/02/02.rss b/blog/archive/2014/02/02.rss
index 43a62aff64416e09c79b39de007d68801064a51a..8996bd8f8245b7b61a12faf946336659e977cd7d 100644 (file)
--- a/blog/archive/2014/02/02.rss
+++ b/blog/archive/2014/02/02.rss
@@ -30,9 +30,9 @@ 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
+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