On Thu, Nov 29, 2001 at 10:30:25AM -0500, Brad Cox <[EMAIL PROTECTED]> wrote:
| sed '/<element7>/,<\/element>/p' should come pretty close. Not tested.
Wack a -n flag in (so that stuff isn't printed, except those triggering
the "p" above).
Alternatively:
sed -e '1,/^<element7>/d' -e '/^<\/element7>$/,$d'
which will delete the leading and trailing lines of the file, leaving the
bits in the middle that you wanted.
--
Cameron Simpson, DoD#743 [EMAIL PROTECTED] http://www.zip.com.au/~cs/
A fool learns from his mistakes, a wise man from someone elses.
- Chris Snowdon <[EMAIL PROTECTED]>
_______________________________________________
Redhat-list mailing list
[EMAIL PROTECTED]
https://listman.redhat.com/mailman/listinfo/redhat-list
