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
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)
Okay here, now that I'm at a real computer again, here's an example of what I mean:
Okay nevermind, I'm actually just not smart and didn't notice extglob wasn't set.