Bash, not shell highlighting