J'ai mis un petit bash script dans mon .bashrc sur la base de ce post :
Comment modifier le titre du terminal dans ubuntu 16.04
Cela fonctionne très bien, le matin je démarre quelques terminaux, l'un s'appelle System l'autre est pour Development etc. J'utilise gnome-terminal . J'utilise également tint2 Ainsi, tous mes terminaux se trouvent dans la barre des tâches inférieure.
C'est génial de marquer mes terminaux pour les distinguer. Mais quand je lance Midnight Commander, il écrase les titres que j'ai donnés. Les titres seront : mc[username@machine-name]
Lorsque je ferme mc, les titres sont corrects (ceux que j'ai définis auparavant).
Est-il possible de forcer mc d'une manière ou d'une autre pour ne pas écraser mes titres originaux ?
