bash profile PS1: wrapping color sequences in \[\] in hopes to fix garbling of long commands