Tim, I've one small comment to make on Martin's recommendation. If you want
to keep the line that says "Today's Topics" -- in general, if you identify
the cutoff point by the first line you want to keep rather than the last one
you want to discard -- you can modify the sed filter as follows:
:0
* ^List-Id:(.*\<)?cat polishing
{
:0bf
| sed '/Today's Topics/,$ !d'
:0:
shinycat
}
or as I personally prefer to write it,
:0bf # search head, filter body
* ^List-Id:(.*\<)?cat polishing
| sed '/Today's Topics/,$ !d'
:0A:
shinycat
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail