bash: more prompt tweaks