Teach kdump a handy new trick: -p $pid selects the records of
authorJoerg Sonnenberger <joerg@dragonflybsd.org>
Thu, 1 Jun 2006 18:18:00 +0000 (18:18 +0000)
committerJoerg Sonnenberger <joerg@dragonflybsd.org>
Thu, 1 Jun 2006 18:18:00 +0000 (18:18 +0000)
commitcc1033d4f2409b2a7c97c91060097816ae9a8b96
treed25520937ff5b9145cb035ec5d46c5df54bee980
parent6196d487ca7bbd233f99710630cf32ad7f91a5c3
Teach kdump a handy new trick: -p $pid selects the records of
a specific PID, making it much faster than e.g. grep of the output.
Keep track of how long the header was, useful for later additions.

Obtained-from: NetBSD
usr.bin/kdump/kdump.1
usr.bin/kdump/kdump.c