From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <6c646c5b21690799f0fca14e5be647f8@sdgm.net>
From: boyd@sdgm.net
To: 9fans@cse.psu.edu
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: [9fans] mail pipeto
Date: Mon,  1 Sep 2003 02:06:05 -0400
Topicbox-Message-UUID: 26c3ca1c-eacc-11e9-9e20-41e7f4b1d025

from the manual (and from various tests):

     Its two arguments are the with arguments of
     the destination address (e.g.  local!gremlin) and the user's
     mail box path (e.g.  /mail/box/gremlin/mbox)

which is at odds with filter.

i just can't see the point of handing up the destination address.

isn't the point to know who it's from?

    Filter provides simple mail filtering.  The first two argu-
    ments are the recipient's address and mailbox, that is, the
    same arguments provided to pipeto.

btw: i found out more interesting things about here docs; you had
better run ramfs _very_ early on.