Simple, painless way to keep .bashrc and .bash_profile up-to-date