Use a quiet bash prompt