X-Git-Url: https://pere.pagekite.me/gitweb/homepage.git/blobdiff_plain/e3680d1731c7dad7c10d2053187c1979178e9193..94765998a47e0c4b95ff638ee3abe2427d2487fd:/blog/index.html

diff --git a/blog/index.html b/blog/index.html
index 08011d466b..daa7f8261d 100644
--- 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