summaryrefslogtreecommitdiffstats
path: root/etc
diff options
context:
space:
mode:
Diffstat (limited to 'etc')
-rw-r--r--etc/procmailrc38
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 @@
1SHELL = /bin/sh
2PATH = /usr/bin:/bin
3MAILDIR = $HOME/mail
4LOGFILE = $HOME/log/procmail.log
5GITHUB_FILTER = $HOME/libexec/filter-github-emails
6DEFAULT_RECIPIENT = admin@monitoring-plugins.org
7EXTENSION = $1
8
9:0 c:
10backup
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: