]> git.madduck.net Git - etc/mailfilter.git/blobdiff - procmail/rules/ul

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:

shorten log messages
[etc/mailfilter.git] / procmail / rules / ul
index 877243fa4d79d4c5a9aa3d45cf194509faf0a14a..b6e676372b289f4f2666e6eaff97fd41ce738ad4 100644 (file)
@@ -3,17 +3,21 @@
 {
   RE_UL_DOMAIN='(staffmail\.)?ul\.ie'
   :0
-  *$ 1^0 ^TO_Events@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_Bereavements@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_Timetables@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_(HR|BE|PO)Notices@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_Opinions@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_AllStaff@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_ResearchPostgraduates@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_NewsandOther@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_ForSaleorWanted@$RE_UL_DOMAIN
-  *$ 1^0 ^TO_ResearchInformationRISS@$RE_UL_DOMAIN
-  $DISCARD
+  *$     1 ^0 ^TO_Events@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_Bereavements@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_Timetables@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_(HR|BE|PO)Notices@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_Opinions@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_AllStaff@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_ResearchPostgraduates@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_NewsandOther@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_ForSaleorWanted@$RE_UL_DOMAIN
+  *$     1 ^0 ^TO_ResearchInformationRISS@$RE_UL_DOMAIN
+  *  -1000 ^0 JUSTME ?? .
+  {
+    LOG="ul:          discard unwanted list mail$NL"
+    SWITCHRC=$PMDIR/discard
+  }
   RE_UL_DOMAIN
 
   DEST=ul