A Bash shell