Included bash prompt generators