Subject: Re: Case sensitivity in filenames
From: [email-masked] (Michael Hirmke)

27 Dec 1998 07:28:44 -0800
Message-ID: <[email-masked]>
References: <[email-masked]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
To: [email-masked]

Hi Pierre,

[...]
>In bash:
>shopt -s nocaseglob

Whow, great - didn't know that !
This is what I've been searching for.

>
>No idea how to make something like that work from COMMAND.COM
>
>Pierre

Thx and bye.
Michael.
--
Michael Hirmke           | Telefon +49 (911) 557999
Georg-Strobel-Strasse 81 | FAX     +49 (911) 557664
90489 Nuernberg          | E-Mail  mailto:[email-masked]
                         | WWW     http://aquarius.franken.de/
-
For help on using this list (especially unsubscribing), send a message to
"[email-masked]" with one line of text: "help".