__set-title () { local title local path=$(git root 2> /dev/null) if [ -n "${path}" ] then title=$(basename ${path}) else title="${USER}:${PWD/~/\~}" fi echo -ne "\033]2;${title}\007" } __start-nonprinting () { if [ ${BUILDING_PS1} ] then echo -en '\[' fi } __end-nonprinting () { if [ ${BUILDING_PS1} ] then echo -en '\]' fi } __fontify () { local -A codes codes[red]='31' codes[green]='32' codes[blue]='34' codes[white]='37' codes[bold]='1' codes[dim]='2' codes[clear]='0' local text=$1 shift # We need to add \[ \] around CSI sequences so that Bash can tell which # characters are non-printing. output=$(__start-nonprinting) output+='\033[' local attributes=($@) local nb=$# for ((i=0; i