bashrc: shorten prompt