bash prompt: tweak the $