Sigh, never mind.  30 minutes later, I stumble across the "group"
command which lets me

  group -group trolls -addr [email protected]

which does EXACTLY what I want.  Sorry for the noise.

-tkc

On 2017-10-03 12:25, Tim Chase wrote:
> It may be a silly question, but can one make use of -group names in
> alias files without assigning aliases?  I've got email addresses for
> some mailing-list trolls.  I never intend to send messages to them,
> but I'd like to use the "alias -group trolls ..." to have a "trolls"
> group I can use for flagging them in the display.
> 
> What would be the best way to do this.  I can create junk aliases
> 
>   alias -group trolls zzzzzzz1 [email protected]
> 
> but was hoping for something less onerous than hand-maintaining fake
> aliases for them.
> 
> -tkc
> 
> 
> 
> 
> 

Reply via email to