Subject: Re: Ignoring $HOME/.procmailrc

From: Roman Czyborra <[email-masked]>
Date: Tue, 11 Oct 1994 18:13:02 +0100

> What's the best way to turn off all procmailrc's except
> /etc/procmailrc?

#define PROCMAILRC "/dev/null" in config.h, boy, you're cruel.  If you
just want to avoid mounting users' home directories all the time, set
up a local procmailrc directory and offer them that.