Remove hostname from shell paste

diff --git a/docs/howtos/HowToDebugVKernels/index.mdwn b/docs/howtos/HowToDebugVKernels/index.mdwn
index 0b3e19c..23a4a45 100644 (file)
--- a/docs/howtos/HowToDebugVKernels/index.mdwn
+++ b/docs/howtos/HowToDebugVKernels/index.mdwn
@@ -9,15 +9,15 @@ To make things a bit more interesting, we will use a real life example.
 ... I wrote a simple program that used the AIO interface. As it turned out we don't support
 this feature, but at that point I didn't know.
 
-    [beket@sadness ~]$ gcc t_aio.c -o t_aio -Wall -ansi -pedantic
-    [beket@sadness ~]$ ./t_aio 
+    $ gcc t_aio.c -o t_aio -Wall -ansi -pedantic
+    $ ./t_aio 
     aio_read: Function not implemented
-    [beket@sadness ~]$ 
+    $ 
 
 Ktrace'ing the process and seeing with my own eyes what was going on, seemed like a good idea.
 Here comes the fun. I misread the ktrace(1) man page and typed:
 
-    [beket@sadness ~]$ ktrace -c ./t_aio
+    $ ktrace -c ./t_aio
 
 And the system hang.
 
@@ -82,7 +82,7 @@ It is possible to directly gdb the virtual kernel's process.  It is recommended
 
 You can add these two commands in your ~/.gdbinit to save yourself from typing them again and again.
 
-    [beket@sadness ~]$ cat ~/.gdbinit
+    $ cat ~/.gdbinit
     handle SIGSEGV noprint
     handle SIGUSR1 noprint