shorten bash prompt