Further tweaking of bash prompt.