Bash profile and theme