General bashrc sourced from my bash_profile