Case insensitive file name globbing is not working in bash on Ubuntu 11.04 64bit. The shell options specified in .bashrc are as follows:
shopt -s nocaseglob
shopt -s nocasematch
shopt also shows that nocaseglob and nocasematch are on. But for a directory change or opening a file, it doesn't work in case insensitivity mode.
I wish to check whether any other option is needed to enable case insensitive filename globbing.