Saya menemukan melalui jawaban ini bahwa saya telah menetapkan warna terminal pada prompt saya dengan cara yang naif selama bertahun-tahun.
Saya sekarang telah memodifikasi .bashrc saya untuk menggunakan perintah 'tput' untuk mewarnai berbagai elemen dari prompt saya. Satu kode pelarian yang tersisa yang saya miliki adalah ini:
TITLEBAR="\[\033]2; PROD - \u@\h:\w \007\]"
Adakah yang tahu kalau ada atribut tput / terminfo yang bisa saya gunakan untuk mengatur bar judul jendela terminal saya, sehingga saya bisa menghilangkan jalan keluar itu?