mv deletes file

[Doug Kushner <dougk at primenet dot com>]

I'm using bash 2.01 with cyg 19.1.   I know that filenames are supposed to
be case insensitive, but some tools such as diff do not ignore filename
case.

So, I was trying to rename some uppercase files to lowercase (which can be
done in a DOS box) and discovered the following problem.  When trying to
use mv on the same filename, but different case, it just deletes the
original file.  I would prefer it rename the file, but at the very least
it should just generate the error message and leave the original file
intact.

Example:

  $mv FILE file
  mv: cannot move `FILE' to `file': No such file or directory.

`FILE' has been deleted and 'file' does not exist.

Regards,
Doug
-
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request@cygnus.com" with one line of text: "help".