Paul asked,
| I have a huge mailbox of email from the Procmail mailing list
| and the SmartList mailing list. How can I use formail to split this
| into two mailboxes, one of Procmail mailing list only email and one of
| SmartList only mailing list email.
formail -s procmail .rcfile < hugemailbox
where .rcfile (which should be a relative path from your $HOME unless you
specify an absolute path) is something like this:
MAILDIR = whatever # path from $HOME to where you want $MAILDIR to be
DEFAULT = neither
:0:
* ^^From .*\/(procmail|smartlist)
$MATCH