Date: Wed, 28 May 1997 16:57:40 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ruiter de M <mdruiter AT cs DOT vu DOT nl>
cc: djgpp AT delorie DOT com, Daisuke Aoyama <jack AT st DOT rim DOT or DOT jp>
Subject: Re: (Another) BASH-bug? Or feature?
In-Reply-To: <5mh4cc$qcp@star.cs.vu.nl>
Message-ID: <Pine.SUN.3.91.970528165327.14855D-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On 28 May 1997, Ruiter de M wrote:

> bash$ ls */PLUGIN/OPT
> ls: No such file or directory */PLUGIN/OPT (ENOENT) (or alike)
> bash$ ls */plugin/opt
> rx/plugin/opt

This seems to be a problem with Bash's wildcard expansion which is 
case-sensitive.  The usual DJGPP expansion (which is inside the startup 
code) is case-insensitive on MS-DOS (but case-sensitive on Windows 95).  
Try this:

	bash$ ls '*/PLUGIN/OPT'

This should work, since it prevents Bash from expanding the arguments and 
leaves them for `ls' to expand.

I'd guess that since the author of Bash port works on Windows 95, he 
didn't see this.