.bashrc: simplify set_prompt()