More bash syntax highlighting