Subject: Re: Case sensitivity in filenames
From: [email-masked] (Pierre A. Humblet)

6 Jan 1999 02:26:35 -0800
Message-ID: <[email-masked]>
References: <[email-masked]>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
To: Fergus Henderson <[email-masked]>
Cc: [email-masked]

At 11:16 PM 1/5/99 +1100, you wrote:
>
>If a program is invoked directly from the DOS command line, or from a
>non-cygwin program, then I think wildcards still get expanded.
He wants more: even constant filenames from inside the
program should open in a case insensitive manner (if a file already exists)

>In addition, bash and readline should also support optional 
>case insensitivity for filename globbing and filename completion.
>
They already do (b20.1)
bash: 
shopt -s nocaseglob

..inputrc:
set completion-ignore-case on

Pierre

-
For help on using this list (especially unsubscribing), send a message to
"[email-masked]" with one line of text: "help".