.bashrc: modify prompt