Sean suggested to someone too shy to give a name,
| Or, you could choose to truncate the large bounces to some arbitrary number
| of lines (here, 120 - the sed operation deletes from line 121 to end):
|
| :0fbi
| * ^FROM_MAILER
| * > 10000
| | sed -e '121,$d'
Better (and do keep the `i' flag),
:0fbi
* ^FROM_MAILER
* > 10000
| sed 120q
That allows sed to quit sooner instead of reading and discarding all the way
to the end.
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail