Chris --
...and then Chris Green said...
%
% Should "set save_empty=no" do anything with maildir mailboxes? It
% doesn't seem to remove empty maildir mailboxes on my system.
Dunno there. Good question.
%
% It's not a huge issue but it's a nuisance having to go and manually
% delete old mailboxes when you've moved a mailbox somewhere else in the
% mail hierarchy. (It's especially a nuisance as maildir mailboxes need
% two rmdir commands to delete them)
Eh? Why on earth is that?
rm -r /old/Mail/dir
rmdir /old/Mail/dir{/*,}
Either one -- alone, mind you -- works for me. Even if you don't expand
braces for the latter, the former is pretty darned portable!
%
% --
% Chris Green (chris@xxxxxxxxxxx)
HTH & HAND
:-D
--
David T-G * There is too much animal courage in
(play) davidtg@xxxxxxxxxxxxxxx * society and not sufficient moral courage.
(work) davidtgwork@xxxxxxxxxxxxxxx -- Mary Baker Eddy, "Science and Health"
http://justpickone.org/davidtg/ Shpx gur Pbzzhavpngvbaf Qrprapl Npg!
Attachment:
pgpy18lzmHH8V.pgp
Description: PGP signature