~/.bashrc: source ~/.profile