bashrc: dist/pull: load profile silently