From: dougk AT primenet DOT com (Doug Kushner)
Subject: mv deletes file
16 Aug 1998 06:48:10 -0700
Message-ID: <199808152119.OAA12540.cygnus.gnu-win32@usr06.primenet.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
To: gnu-win32 AT cygnus 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 AT cygnus DOT com" with one line of text: "help".