> BASH is a Linux thing, not a Unix thing. [...] No, it's a GNU thing. https://www.gnu.org/software/bash/ I use it on all my UNIX systems (AIX, HP-UX, Solaris, Tru64). And on my GNU/Linux systems.