Hi Simon, you can also look at the variable before changing it:
echo $PS1 You'll probably find the colors there like '\[\033[00m\]'. The git-part you want to add is just the '$(__git_ps1)' part. So you can use the original $PS1 and add that part if you don't want other changes. Best, Joram _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
