Pattern substitution insensitive to case?

[Davide Baldini]

Hi,

Bash doesn't seem to provide a handy way to perform search-and-replace 
on strings in a case-insensitive manner.

The parameter expansion "${parameter/pattern/string}" is not influenced 
by the shell options "nocaseglob" and "nocasematch", at least in Bash 
version 4.2.37. Is this intended?

My temporary workaround is to run the search-replace function on GNU 
'sed' with the unportable 'I' flag to ignore case.

-- Davide