On Fri, 25 Oct 1996, Neal Becker wrote:
> In filters, "personal" is shorthand for
>
> $header_to contains $local_part@$domain and [...]
>
> I prefer
>
> $header_to contains $local_part and [...]
>
> since local mail lacks the domain. I suspect I'm not the only one
> with this sort of setup, so I think the latter is a safer default.
What do other people think? I have two views on this:
(a) I believe all mail *should* have a domain. Apart from anything else,
it gets users into the habit of knowing about domains.
(b) Quite apart from that, many local parts at different sites are
identical. If you don't check the domain there is scope for confusion.
Support I had an account called "philip" (I do on some systems). There
must be many accounts called "philip" round the world. Just checking for
"philip" in the To: field of a message is no guarantee that it is
addressed to me.
I'm quite prepared to listen to any cunning scheme someone comes up
with, but I don't think that cutting out the domain check is a good
idea.
Views?
--
Philip Hazel University Computing Service,
ph10@??? New Museums Site, Cambridge CB2 3QG,
P.Hazel@??? England. Phone: +44 1223 334714
