On Aug 31 2025, Stan Marsh wrote: > But here's the thing: As far as I can tell, extglob is on-by-default
No, it isn't. $ bash -c 'shopt -p extglob' shopt -u extglob $ bash --version GNU bash, version 5.3.3(1)-release (x86_64-suse-linux-gnu) Copyright (C) 2025 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software; you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. > - in all the versions of bash that I was able to test Make sure the shells you test do not read any profiles and are not configured with --enable-extended-glob-default. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."