Re: Benchmarking Gnus

[Simon Josefsson <jas@extundo.com>]

On Fri, 1 Feb 2002, Steinar Bang wrote:

> >>>>> Simon Josefsson <jas@extundo.com>:
> 
> > It sounds like a bug, expiring the agent nnml group should not
> > delete anything in the original nnimap group.
> 
> No it's not a bug.  :-)
> What happens is what you describe.
> 
> I expected unplugged expiry to be transferred to the original nnimap
> group when I went plugged.  Ie. I expected what you term buggy
> behaviour. :-)

Hm. There is two kinds of expiry in a agent group, one is the normal
expiring in the real backend via E marks (nnimap), which should work (does
it?), but you should also be able to locally expire the agent cache with
gnus-agent-expire-articles (does it work?).

The first should delete articles on the server, the second should not.

Hm.  I don't use the agent much, but does this make sense?

(Btw, wouldn't it be nice if it was possible to enable the agent via 
customize instead of forcing people to manually edit ~/.gnus?)