Fixes and improvements to bash prompt