more compact bash prompt