problem with finding case-sensitive filenames when running DOS batch command with bash shell

Hi, I'm running cygwin bash shell and have set the parameters ~/.bashrc shopt -s nocaseglob ~/.inputrc set completion-ignore-case on but I'm still having problems with running a DOS batch command that will not be case-sensitive. x.bat dir /s /b filename.txt (I want it to match with name

Re: problem with finding case-sensitive filenames when running DOS batch command with bash shell

On Wed, 6 Oct 2004 [EMAIL PROTECTED] wrote: Hi, I'm running cygwin bash shell and have set the parameters ~/.bashrc shopt -s nocaseglob ~/.inputrc set completion-ignore-case on but I'm still having problems with running a DOS batch command that will not be case-sensitive. x.bat dir /s /b

Re: problem with finding case-sensitive filenames when running DOS batch command with bash shell

On Wed, 6 Oct 2004, DFong wrote: Hi, I'm running cygwin bash shell and have set the parameters ~/.bashrc shopt -s nocaseglob ~/.inputrc set completion-ignore-case on but I'm still having problems with running a DOS batch command that will not be case-sensitive. x.bat dir /s /b

Re: problem with finding case-sensitive filenames when running DOS batch command with bash shell

At 02:24 PM 10/6/2004, you wrote: Hi, I'm running cygwin bash shell and have set the parameters ~/.bashrc shopt -s nocaseglob ~/.inputrc set completion-ignore-case on but I'm still having problems with running a DOS batch command that will not be case-sensitive. None of the above affects

Re: problem with finding case-sensitive filenames when running DOS batch command with bash shell

On Wed, 6 Oct 2004, Igor Pechtchanski wrote: On Wed, 6 Oct 2004, DFong wrote: Hi, I'm running cygwin bash shell and have set the parameters ~/.bashrc shopt -s nocaseglob ~/.inputrc set completion-ignore-case on but I'm still having problems with running a DOS batch