.bashrc: source ~/.profile