Case-Insensitive Globbing

[Mike Taylor]

Dear BashMeisters,

A suggestion: in these days when we all have a lot of files with names
like "04. Fade to Black.mp3" and "04. Fade To Black.mp3" and indeed
"04. FADE TO BLACK.MP3", it would be nice if Bash included a way to
make a globbing-pattern match case-insensitively, so I can say (for
example):

        $ ls *to*\i

Instead of:

        $ ls *[Tt][Oo]*

(The latter isn't too bad with two-letter words, but it would be a bit
of a nightmare to glob for supercalifragilisticexpialidocious in that
way!)

Are there any plans to do something like this?

 _/|_    _______________________________________________________________
/o ) \/  Mike Taylor -- <mirk@mail.org> -- http://www.miketaylor.org.uk/
)_v__/\  "By filing this bug report you have challenged the honor of my
         family.  PREPARE TO DIE!" -- Klingon Programming Mantra