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:

no need to scan bodies for test and ignore patterns
[etc/mailfilter.git] / procmail / ignore
index b207b044eb7a0b4fcb5d18b9d69bb7900fe19787..19cf5cd52b3d9ef2896a64a619ebb1984e19d5cc 100644 (file)
@@ -1,13 +1,12 @@
-:0 BH
+:0
 * ? $EGREP -qif $CONF/ignore
 {
-  LOG="ignore:      discarding ignored message $MSGID from $FROM to $ORIGINAL_TO$NL"
-  :0
-  $DISCARD
+  LOG="ignore:      discarding ignored message$NL"
+  SWITCHRC=$PMDIR/discard
 }
 
 :0 H
-* ORIGINAL_TO ?? madduck@(madduck\.net|debian\.org)
+* ORIGINAL_TO ?? madduck(@madduck\.net|=debian\.org)
 * ? $EGREP -qif $CONF/ignore-lists
 {
   LOG="ignore:      dropping list message $MSGID$NL"