J'ai essayé de placer mon PROMPT_COMMAND variable:Comment modifier le titre de gnome-terminal dans Ubuntu 10
PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007"'
mais quelque chose change mon onglet (tout ou titre terminal) à 'utilisateur @ hostname:/courant/chemin », ainsi
PROMPT_COMMAND='echo -ne "\033]0;"myWindowTitle"\007" && sleep 3'
changement de titre pendant 3 secondes seulement :)
légère nuance, si vous mettez un '' '' '' 'devant devant' '' $ WT''', alors vous pouvez changer la variable WT 'en direct', et cela changera immédiatement votre titre de terminal :-) –