bashrc: change default prompt for foreign hosts