J'ai découvert à travers cette réponse que je définissais les couleurs des terminaux dans mon invite de manière naïve depuis des années.
J'ai maintenant modifié mon .bashrc pour utiliser les commandes 'tput' afin de coloriser divers éléments de mon invite. Le seul code d'échappement que j'ai est le suivant:
TITLEBAR="\[\033]2; PROD - \u@\h:\w \007\]"
Est-ce que quelqu'un sait s'il existe un attribut tput / terminfo que je peux utiliser pour définir la barre de titre de ma fenêtre de terminal, afin de pouvoir éliminer cette fuite?