diff options
| -rw-r--r-- | etc/procmailrc | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/etc/procmailrc b/etc/procmailrc index 77a02e2..7c7ecbd 100644 --- a/etc/procmailrc +++ b/etc/procmailrc | |||
| @@ -1,10 +1,14 @@ | |||
| 1 | SHELL = /bin/sh | 1 | SHELL = /bin/sh | 
| 2 | PATH = /usr/bin:/bin | 2 | PATH = /usr/bin:/bin | 
| 3 | MAILDIR = $HOME/mail | ||
| 3 | LOGFILE = $HOME/log/procmail.log | 4 | LOGFILE = $HOME/log/procmail.log | 
| 4 | GITHUB_FILTER = $HOME/libexec/filter-github-emails | 5 | GITHUB_FILTER = $HOME/libexec/filter-github-emails | 
| 5 | DEFAULT_RECIPIENT = admin@monitoring-plugins.org | 6 | DEFAULT_RECIPIENT = admin@monitoring-plugins.org | 
| 6 | EXTENSION = $1 | 7 | EXTENSION = $1 | 
| 7 | 8 | ||
| 9 | :0 c: | ||
| 10 | backup | ||
| 11 | |||
| 8 | :0 | 12 | :0 | 
| 9 | * ! ^X-Loop: plugins@monitoring-plugins\.org | 13 | * ! ^X-Loop: plugins@monitoring-plugins\.org | 
| 10 | { | 14 | { | 
