How about
sed '/BEGIN/,/END/p
d' files...
in sh or ksh or
sed '/BEGIN/,/END/p\
d' files...
in csh? These lines will include the BEGIN and END in the output, but will
strip all other lines.
I'd prefer to use awk:
awk '/BEGIN/,/END/' files...
papillo the awkward
Bob Ellison