Generated.

diff --git a/blog/Testing_sysvinit_from_experimental_in_Debian_Hurd.html b/blog/Testing_sysvinit_from_experimental_in_Debian_Hurd.html
index 6ac186594aaaf9820565ff853aab19bf17300626..9d57704a8b951e96a1308571cfbb98fb719996be 100644 (file)
--- a/blog/Testing_sysvinit_from_experimental_in_Debian_Hurd.html
+++ b/blog/Testing_sysvinit_from_experimental_in_Debian_Hurd.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

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

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

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

diff --git a/blog/index.rss b/blog/index.rss
index 11e2da831e4de7560396df42eafd35dbe96b4e4d..5f3c385a4331ac9f4a24b70210013f372b580c94 100644 (file)
--- a/blog/index.rss
+++ b/blog/index.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

diff --git a/blog/tags/bootsystem/bootsystem.rss b/blog/tags/bootsystem/bootsystem.rss
index 34049adf0048fe4f6378f4133e8219404477e36e..29c4436db36845127e9b0d47a4d75e89c175104a 100644 (file)
--- a/blog/tags/bootsystem/bootsystem.rss
+++ b/blog/tags/bootsystem/bootsystem.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

diff --git a/blog/tags/bootsystem/index.html b/blog/tags/bootsystem/index.html
index 8d4de487263f2e67fea324b045b8073799fd9786..773a1d16a1948fbc135ed6139b094fdd0838bd14 100644 (file)
--- a/blog/tags/bootsystem/index.html
+++ b/blog/tags/bootsystem/index.html
@@ -47,9 +47,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

diff --git a/blog/tags/debian/debian.rss b/blog/tags/debian/debian.rss
index 45484dfdec73881b2272450ec8dc3c99060643e5..0296c07b2a67b73c47dc284a65576387b28ffc31 100644 (file)
--- a/blog/tags/debian/debian.rss
+++ b/blog/tags/debian/debian.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

diff --git a/blog/tags/debian/index.html b/blog/tags/debian/index.html
index dcb3f0755cc1e6e6341949950cf9d92d34495e22..019fbf0375f9e768662a7a801452109f9714d506 100644 (file)
--- a/blog/tags/debian/index.html
+++ b/blog/tags/debian/index.html
@@ -47,9 +47,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

diff --git a/blog/tags/english/english.rss b/blog/tags/english/english.rss
index 86a9325a29d2d2666e8912718e496828c60ef60d..f7a4a178c3ba06e746989b02e2a281a5afe5fed5 100644 (file)
--- a/blog/tags/english/english.rss
+++ b/blog/tags/english/english.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

diff --git a/blog/tags/english/index.html b/blog/tags/english/index.html
index 14be03289d88859e4772603a3f2b57077a18fb7e..c8d310aeb6701c586faeae0265f020ca8236e372 100644 (file)
--- a/blog/tags/english/index.html
+++ b/blog/tags/english/index.html
@@ -47,9 +47,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