Generated.

[homepage.git] / blog / index.html

diff --git a/blog/index.html b/blog/index.html
index 08011d466bd08c2f4ba4d0e6705ee9ca80d54f70..daa7f8261d75ca99a7ca2119dbbf49f71e804350 100644 (file)
--- a/blog/index.html
+++ b/blog/index.html
@@ -41,9 +41,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