Re: more distinct default bash prompt?