modified: .bashrc: displays full-hostname on a prompt