]> git.madduck.net Git - etc/mailfilter.git/commitdiff

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

add dejavu header at the end
authormartin f. krafft <madduck@seamus.madduck.net>
Fri, 17 Aug 2007 14:25:03 +0000 (16:25 +0200)
committermartin f. krafft <madduck@seamus.madduck.net>
Fri, 17 Aug 2007 14:25:03 +0000 (16:25 +0200)
procmail/addheaders
procmail/defines
procmail/dejavu

index 6915f9cdc9400efb2141db311040dc4add584449..74fb503bd3c6d90d9c1c5eee8720b61269582165 100644 (file)
@@ -1,3 +1,7 @@
+:0 fw
+*$ !$MSG_DEJAVU
+|$FORMAIL -A"$DEJAVU_HEADER: $ID"
+
 :0 fw
 * JUSTME ?? .
 |$FORMAIL -A"X-Justme: $JUSTME"
index 7df70cd0996212dc0dd61cd8df74baf67a69a02a..5419eae19a6cfd3a0954355661a0fcae8694a859 100644 (file)
@@ -67,6 +67,8 @@ RE_FIRSTNAME="martin($RE_SPACE_NEWLINE+f(\.?|elix))?"
 RE_LASTNAME="kraff?t"
 RE_EXTRACT_HEADER_VALUE="[     ]*\/[^  ].*"
 
+DEJAVU_HEADER=X-Deja-Vu
+
 NULL=/dev/null
 DISCARD=$BASE/.discard/
 #DISCARD="'|$DELIVER -m BASE.discard'"
index c25f15643f44c7d8843d3b52bc153c9d29843c35..298abaef484831106dc416682597bd2f91139fd2 100644 (file)
@@ -1,9 +1,6 @@
 :0
-*$ ^X-Been-There: $ID
+*$ ^$DEJAVU_HEADER: $ID
 {
   LOG="dejavu:      re-processing message $MSGID$NL"
   MSG_DEJAVU
 }
-
-:0 Efw
-|$FORMAIL -A"X-Been-There: $ID"