# source .profile, if the bashrc gets sourced
if [ -f ~/.profile ]; then
      . ~/.profile
