making the bash prompt a bit smaller