When I suggested,
| grep -v 'responded successfully$'
Charlie asked,
| Silly question; is there an advantage to using grep reversed over sed
| delete?
grep has fewer features and functions than sed, so it is usually a smaller
binary to fork. Also, because of its specialization, I believe it would run
faster than sed on that particular task.
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail