Generated.

[homepage.git] / blog / archive / 2014 / 02 / index.html

diff --git a/blog/archive/2014/02/index.html b/blog/archive/2014/02/index.html
index 01c07efe0d6e4e45331f4ce15b6cb7b0e0450a94..373b029579bf3f2a26038734cdc3dff80026e5f7 100644 (file)
--- a/blog/archive/2014/02/index.html
+++ b/blog/archive/2014/02/index.html
@@ -48,9 +48,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