On Lu, 10 dec 12, 12:30:32, Rainer M Krug wrote:
> Hi
> 
> This is slightly offtopic, but I would like to move all emails in a Maildir folder into an Archive
> folder. What is the easiest way of doing this? I assume I ave to do this outside notmuch, but is
> there an easy way? I have 250 000 emails on my gmail account, and this is slowing many things down.
> 
> Any suggestions?

mv?

Kind regards,
Andrei
-- 
If you can't explain it simply, you don't understand it well enough.
(Albert Einstein)