On 9/11/13 5:12 AM, Davide Baldini wrote:
> 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?
Yes, neither option applies to pattern replacement word expansion. I will
consider that extension for a future version of bash.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
