bash prompt customisations.