On Mon, Jan 22, 2001 at 07:17:08PM +0000, David Wright wrote:
...
> Nice. The problem hadn't worried me enough to look for a workaround,
> but may I steal that?
Yep, that seems to be the tradition in Open Software Circles anyway,
so be my guest:) I improved a bit on that recepy (better locking):
:0
* ^List-Id: [^<]*<gibraltar.mail\.vianova\.at>
{
FOLDER=$LISTDIR/gibraltar
:0:
| cat >>$FOLDER && touch -m -d "next sec" $FOLDER
}
...
> I don't know of one. I just leave the empty inboxes - my eye does
> the filtering: "0" is so much shorter than any realistic mailbox
> size (usually at least four digits).
It's not that I don't notice that the box is empty, it's all that cursor
movement to get to the one I want right now that's wearing me out:)
--
groetjes, carel
