<<< Date Index >>>     <<< Thread Index >>>

Re: set save_empty=no with maildir



Chris --

...and then Chris Green said...
% 
% On Mon, Nov 24, 2003 at 07:37:04AM -0500, David T-G wrote:
...
% > 
% >   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!
% > 
% "rm -r" is a bit risky because it will delete the dir and everything
% below it even if directories aren't empty, I like the extra insurance
% of rmdir which won't remove non-empty directories.

Ah.  Well, to each his own.


% 
% "rmdir" needs two goes:-
%     rmdir dir/*         to remove the cur, tmp and new directories
%     rmdir dir           to remove dir itself

Use braces instead, or even

  rmdir dir/* dir

if you don't like 'em (but I don't like specifying /path/to/dir multiple
times on a command line).


% 
% -- 
% 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: pgph1xC5XXCQ1.pgp
Description: PGP signature