Eugene Lee <[EMAIL PROTECTED]> wrote on Sun, 12 Mar 2000:
> So do the ignore/unignore commands deal with shell globbing only?
No, they use special kind of wildcards, it's not even shell globbing.
For them the rules are:
- "*" is a special entry which means "all headers"
- "something-" means that every header which starts with "something-",
eg. "ignore X-"
- everything else is taken literally
> Would it be a good idea to make both commands use regex patterns?
I'm not sure, what would be the point? Headers aren't exactly random
strings... Well, mostly not. :-)
If this was made into regexps, it would have to be made into a generic
header filter that would scan the actual header lines too, to make some
sort of sense. Ie. "I don't want to see Received: headers unless they
contain this hostname" or somesuch. IMHO anyway.
Regards,
Mikko
--
// Mikko Hänninen, aka. Wizzu // [EMAIL PROTECTED] // http://www.iki.fi/wiz/
// The Corrs list maintainer // net.freak // DALnet IRC operator /
// Interests: roleplaying, Linux, the Net, fantasy & scifi, the Corrs /
I wish life had a scroll-back buffer.
