Ho scoperto attraverso questa risposta che ho impostato i colori dei terminali nel mio prompt in modo ingenuo per anni.
Ora ho modificato il mio .bashrc per usare i comandi 'tput' per colorare vari elementi del mio prompt. L'unico codice di escape rimasto che ho è questo:
TITLEBAR="\[\033]2; PROD - \u@\h:\w \007\]"
Qualcuno sa se esiste un attributo tput / terminfo che posso usare per impostare la barra del titolo della mia finestra del terminale, in modo da poter eliminare quella fuga?