Argh, tant de réponses...
J'ai essayé wmctrl
qui presque a fonctionné, sauf que je n'ai pas réussi à changer le titre de l'icône, du moins pas de façon permanente.
Le problème est que le PS1 dans Bash dans Ubuntu définit le titre.
Le PS1 par défaut est
\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$
... qui définit le titre dans la première séquence d'échappement : \e]0;\u@\h: \w\a
Il existe donc deux solutions :
Solution 1 : simplifier PS1, puis utiliser PROMPT_COMMAND
Remplacez PS1 par quelque chose de plus simple :
PS1="\u@\h:\w\$ "
Utilisez ensuite la commande PROMPT_COMMAND :
PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
Solution 2 : modifier directement le PS1
Il suffit de modifier la PS1 avec un nouveau titre :
PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
Notes sur les codes d'échappement
Notez que (en empruntant au commentaire de wjandrea sous cette réponse) :
-
\e
ou \033
est le caractère d'échappement (ESC), qui lance une séquence d'échappement.
-
]
lance une commande du système d'exploitation (OSC).
- Pour un xterm,
0;
signifie "fixer le titre", et
-
\a
ou \007
est le caractère de cloche (BEL) qui termine l'OSC.
Plus d'informations : https://en.wikipedia.org/wiki/ANSI_escape_code#Escape_sequences