Greg Wooledge wrote:
On Fri, May 21, 2010 at 01:32:26AM -0700, Linda Walsh wrote:
Does something need to happen for case to be ignored in wildcards,
on this file
system?
Have you tried shopt -s nocaseglob yet?
That would switch if of for all file systems, woulödn't it? Not what the OP
was looking for...
Reinstating what you snipped:
The bash option to ignore case in wildcards wouldn't be a correct
option
for this, as that would cause it to ignore case on all file systems
(if I understand it correctly).
Bye, Jojo
