Customizing bash_prompt