Hi,
I noticed that the following script keeps executing (and outputs
oops) in Bash 4.3.39(1)-release and 2.05b.13(1)-release, in
difference to dash-0.5.8, mksh-R51, busybox sh v1.23.2, ksh-2012.08.01,
and zsh-5.0.8:
echo ${x!y}
echo oops
According to IEEE Std 1003.1, 2.8.1 Consequences of Shell
nocaseglob affects regex matching in [[ but according to the man page only
nocasematch should:
nocaseglob
If set, bash matches filenames in a case-insensitive fashion when
performing pathname expansion (see Pathname Expansion above).
nocasematch
If set, bash matches patterns in a