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