Hey, anyone know why BASH parameter substitution would work on the same system, same account on the command line, but not in a script?
BLAH=${BLAH##+(0)}
Gives "18" for "018" from a command line.
Gives "018" for "018" in a script.
#!/bin/bash explicitly specified
@SomeEgrets Locale or character set differences?
Same thing if I use pattern replacement like ${BLAH/#+(0)/}
Yes, I could just use sed or something for this, but now this is bothering me. It should work?
(I really just need it to not treat numbers like goddamn octal for filenames that often have leading zeroes)