Hi Bob,

> but would suffer compared with Ken's approach in that deleted messages
> would still be reported

I don't think they would; mark(1) doesn't output removed messages,
whether by rmm(1) or through the filesystem.

    $ p -seq bob last:3
    3 hits
    $ mark -list -s bob
    bob: 96916-96918
    $ rmm 96917
    $ mark -list -s bob
    bob: 96916 96918
    $ rm `mhpath 96918`
    $ mark -list -s bob
    bob: 96916
    $

-- 
Cheers, Ralph.

Reply via email to