Bash extensions