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

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.

- Raw text -