do not archive resubmitted messages with gmail

diff --git a/procmail/to-gmail b/procmail/to-gmail
index 4909c0c5d425ad2f6cd1c5b2a479a0891d69ee07..ab05e40428304078667f2fb7521666015a193094 100644 (file)
--- a/procmail/to-gmail
+++ b/procmail/to-gmail
@@ -2,10 +2,17 @@
 * ORIG_DOMAIN ?? ^(mass|r2e)\.madduck\.net$
 * !^X-Mailer: swaks
 {
-  LOG="gmail:       archiving message $MSGID with gmail$NL"
-  SENDMAILFLAGS="$SENDMAILFLAGS -f $ID"
-  TRAP=""
-
   :0
-  ! martin.krafft@gmail.com
+  *$ ! $MSG_DEJAVU
+  {
+    LOG="gmail:       archiving message $MSGID with gmail$NL"
+    SENDMAILFLAGS="$SENDMAILFLAGS -f $ID"
+    TRAP=""
+
+    :0
+    ! martin.krafft@gmail.com
+  }
+
+  :0 E
+  { LOG="gmail:       not archiving message resubmitted message with gmail$NL" }
 }