[Users] Rename / move existing local mailbox folder ?

[mi]

> Use your file manager to copy the mailbox directory to the new location.

thx Paul !

I havwe a lot of configurations, some per folder, some per account. I can see the name of the actual mailbox in accountrc, matcherrc, folderitemrc .... and whatnot.

Can i do this:

(1) replace all occurences of that folder name with the new one, by some sed -i

(2) remove the old mailbox

and have all things running as before ?

I'm not sure about the order of (1) and (2). Should it be reversed ?