Separate work/home/laptop configs in .bash_profile