Descobri através desta resposta que venho definindo cores terminais no meu prompt de maneira ingênua há anos.
Agora modifiquei meu .bashrc para usar os comandos 'tput' para colorir vários elementos do meu prompt. O único código de escape restante que tenho é o seguinte:
TITLEBAR="\[\033]2; PROD - \u@\h:\w \007\]"
Alguém sabe se existe um atributo tput / terminfo que eu possa usar para definir a barra de título da minha janela do terminal, para que eu possa eliminar essa fuga?