-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi, list, As usual, I seem to miss something basic :) Basically, this is what goes on: one specific mailing list messages are falling through procmail filters and get delivered to my inbox. If I sort the inbox with formail, the very same procmail configuration delivers this mailing list. The mailing list in question happens to be LKML, so this issue is quite painful.
My configuration is as following: fetchmail is running as daemon, brings the mail, submits it to postfix, and posfix gives it to procmail for local delivery. This chain works for about 20 procmail recipes, and fails for lkml. - -------- Procmail recipe is this: [EMAIL PROTECTED] leonid $ grep -A1 -B1 vger ./.procmailrc :0: * ^X-Mailing-List: [EMAIL PROTECTED] mail/lkml - -------- ~From the procmail log on relevant entry: [EMAIL PROTECTED] leonid $ grep -A1 -B1 X-M procmail.leonid.log procmail: No match on "^X-list: linux-il" procmail: No match on "^X-Mailing-List: [EMAIL PROTECTED]" procmail: No match on "^X-list: netdev" - -------- ~From the the headers of the last mail: Message-Id: <[EMAIL PROTECTED]> Precedence: bulk X-Mailing-List: [EMAIL PROTECTED] X-Virus-Scanned: by amavisd-new at technion.ac.il - --------
If I copy the /var/spool/mail/leonid file aside, and then run "formail - -s procmail < inbox.tmp" on it, the filtering works like a charm.
~ L.
- --
- ------------------------------------------------------------------------ ~ Leonid Podolny | /"\ ~ | \ / ASCII Ribbon Campaign ~ leonidp(at)gmail.com | x Against HTML Mail ~ +972-54-5696948 | / \ - ------------------------------------------------------------------------ PGP fingerprint: 51B2 F1DB 485E 2C48 2E17 94D1 7EC4 E524 B156 B9F0 PGP key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0xB156B9F0 - ------------------------------------------------------------------------ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org
iD8DBQFBTF1LfsTlJLFWufARAkUGAJoCsuVBhcBG+CbzEYZqqVmyeERT2QCeP90Q g3SQ1f/JobQ3ww/pjsSb5lE= =auEO -----END PGP SIGNATURE-----
================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
