Re: Bug#479764: shell builtin mv fails to move files across devices

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On May 6,  4:03pm, Clint Adams wrote:
}
} Anyone up for changing this in a future version?
} 
}     Note  that  this  mv  will not move files across devices.  Historical
}     versions of mv, when actual renaming is impossible, fall back on copying
}     and removing files; if this behaviour is desired, use cp and rm manually.
}     This  may  change  in  a future version.

I'd rather we didn't.  rename(2) is atomic, but there's no reasonable way
to make cp+rm be so, and I think it's better if the user is forced to be
aware of the issue.

Also note that "cp" is (intentionally) NOT one of the commands supplied
by the zsh/files module, so changing mv means implementing cp.