change PS1 colors
change PS1 colors again
reset PS1 colors