bashrc: prompt: the window name stuff is mostly useless
bashrc: trivial