1 |
Hi All, |
2 |
Sorry for the noise... but a number of people have started sending to |
3 |
${LIST}@gentoo.org, CCing to ${LIST}@lists.gentoo.org -- resulting in |
4 |
duplicate emails being sent to this end. |
5 |
|
6 |
If possible, can people kindly pick one, or the other -- and not both? |
7 |
|
8 |
Incidentally, I've fixed the problem with using robin.gentoo.org... I |
9 |
could've filtered on other headers...but what I've done instead is put |
10 |
the following in my .mailfilter file (Yes, I use maildrop here): |
11 |
|
12 |
if (/Cc: *!.*!@.*.gentoo.org/) |
13 |
{ |
14 |
xfilter "sed -e 's/$MATCH3/@lists.gentoo.org/'" |
15 |
} |
16 |
|
17 |
if (/To: *!.*!@.*.gentoo.org/) |
18 |
{ |
19 |
xfilter "sed -e 's/$MATCH3/@lists.gentoo.org/'" |
20 |
} |
21 |
|
22 |
(There's probably a way to combine those into one... but I can't be |
23 |
arsed looking. ;-) |
24 |
|
25 |
Regards, |
26 |
-- |
27 |
+-------------------------------------------------------------+ |
28 |
| Stuart Longland -oOo- http://stuartl.longlandclan.hopto.org | |
29 |
| Atomic Linux Project -oOo- http://atomicl.berlios.de | |
30 |
| - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - | |
31 |
| I haven't lost my mind - it's backed up on a tape somewhere | |
32 |
+-------------------------------------------------------------+ |