X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;h=f36ae4a8bc30d4d2fd8793bc84fea5a87547c9dc;hb=eb5ba83c314e0074e2b280516e3e30b8626c638f;hp=f93eeda3ad0251375e96f8ac02b31ad06bd0aa60;hpb=6dca07ec0e8cde38f64f0c9f543b8e52ba169e94;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index f93eeda..f36ae4a 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -240,6 +240,17 @@ The results look like this:
 0x8048ac8: _start (../../src/lib/user/entry.c:9)
 @end example
 
+Here's an extra tip for anyone who read this far: @command{backtrace}
+is smart enough to strip the @code{Call stack:} header and @samp{.}
+trailer from the command line if you include them.  This can save you
+a little bit of trouble in cutting and pasting.  Thus, the following
+command prints the same output as the first one we used:
+
+@example
+backtrace kernel.o Call stack: 0xc0106eff 0xc01102fb 0xc010dc22
+0xc010cf67 0xc0102319 0xc010325a 0x804812c 0x8048a96 0x8048ac8.
+@end example
+
 @node i386-elf-gdb
 @section @command{i386-elf-gdb}