Philip Kizer asked,
| 1: Is feeding the header to /dev/null the easiest way to force a final
| recipe? I thought I remembered a variable that could be set to stop
| processing (or at least to pretend delivery and process no more of
| the .procmailrc), but I couldn't find anything in the man pages.
If there are no more rcfiles named on the command line, the fastest way
to drop unwanted mail (or unwanted extra copies of mail) on the floor is
HOST=some_wrong_name
If there are more rcfiles named on the command line, then saving the head
to /dev/null (and losing the body by implication) is the best I've heard of,
unless you know that the bodies of dropped mail are likely to be shorter than
the heads: in that case, save the body to /dev/null (and let procmail lose
the head by implication).
| 2: My testing showed procmail will skip bogus INCLUDERC lines if the
| included file does not exist (So you don't have to copy /dev/null
| into ...emerg... for a working setup). Is this guaranteed behavior?
Procmail will skip a nonexistent rcfile assigned to INCLUDERC, but it will
log an error. I prefer to empty out the included file (but with a simple
shell truncation, not by copying /dev/null). An empty included rcfile
doesn't bother procmail at all.
It might be just as easy to edit .procmailrc and comment out the INCLUDERC
assignment.