Re: All Mail for *one* User to $HOME/Mailbox?

Wed 97-12-03 Tim Evans <tkevans(_at_)eplrx7(_dot_)es(_dot_)dupont(_dot_)com> 
list.procmail
| I'm not a member of this mailing list, so I'd appreciate direct
| replies.
| 
| I have a need to direct all a single user's mail to a mailbox in his
| home directory, to $HOME/mailbox, 

This may not be perfect, but maybe a start
jari

UHOME       = /tmp_mnt/users
UHOME_LIST  = "(login1|login2|login3)"

#   We need the "@" anchor

:0
*$ TO()\/${UHOME_LIST}@
{
    user = $MATCH


    #   Now remove "@" acnhor    
    :0
    * ()\/${UHOME_LIST}
    { user = $MATCH }

    :0:
    $UHOME/$user      
}