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 case-insensitive fashion when performing matching while executing case or [[ conditional commands. I don't know if it'd make sense to have case-insensitive glob matches and case-sensitive regexes at the same time... It may not be that useful and even counterintuitive. Anyway, it's probably better to either remove glob_ignore_case from line 67 in lib/sh/shmatch.c or document the actual behaviour, if intended. --- xoxo iza
