↳ In-reply-to » I love shell scripts because they’re so pragmatic and often allow me to get jobs done really quickly.

I was/am right of course :D

In POSIX sh, [[ ]] is undefined. [SC3010]