diff options
Diffstat (limited to 'etc/procmailrc')
| -rw-r--r-- | etc/procmailrc | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/etc/procmailrc b/etc/procmailrc deleted file mode 100644 index 7c7ecbd..0000000 --- a/etc/procmailrc +++ /dev/null | |||
| @@ -1,38 +0,0 @@ | |||
| 1 | SHELL = /bin/sh | ||
| 2 | PATH = /usr/bin:/bin | ||
| 3 | MAILDIR = $HOME/mail | ||
| 4 | LOGFILE = $HOME/log/procmail.log | ||
| 5 | GITHUB_FILTER = $HOME/libexec/filter-github-emails | ||
| 6 | DEFAULT_RECIPIENT = admin@monitoring-plugins.org | ||
| 7 | EXTENSION = $1 | ||
| 8 | |||
| 9 | :0 c: | ||
| 10 | backup | ||
| 11 | |||
| 12 | :0 | ||
| 13 | * ! ^X-Loop: plugins@monitoring-plugins\.org | ||
| 14 | { | ||
| 15 | :0 fhw | ||
| 16 | * ^From \/[^ ]+ | ||
| 17 | | formail -A 'X-Loop: plugins@monitoring-plugins.org' \ | ||
| 18 | -A "X-Original-From: $MATCH" | ||
| 19 | |||
| 20 | # Handle emails sent to <plugins+github@monitoring-plugins.org>. | ||
| 21 | :0 | ||
| 22 | * EXTENSION ?? ^^github^^ | ||
| 23 | { | ||
| 24 | :0 fw | ||
| 25 | | $GITHUB_FILTER | ||
| 26 | |||
| 27 | # Forward only if $GITHUB_FILTER rewrote the To: header. | ||
| 28 | :0 | ||
| 29 | * ^To:.*\/devel@monitoring-plugins\.org | ||
| 30 | ! $MATCH | ||
| 31 | } | ||
| 32 | |||
| 33 | # Handle emails that shouldn't be forwarded to the list. | ||
| 34 | :0 | ||
| 35 | ! $DEFAULT_RECIPIENT | ||
| 36 | } | ||
| 37 | |||
| 38 | # vim:set filetype=procmail: | ||
