Bash: more prompt tweaks.