On Sunday, 3 April 2016 at 13:24:20 UTC, Daniel Murphy wrote:
On 3/04/2016 9:35 PM, cym13 wrote:To be fair I've always thought that mv is a bad name because moving really is just renaming, there are no two separate operations. That said I too would have searched for "move" first exactly because as misleadingas the name can be it corresponds to what the user wants to do.Except that's not true! Renaming doesn't (typically) work across devices.
Right, thanks for pointing that out.
