Argh, tant de réponses ...
J'ai essayé wmctrl, qui a presque fonctionné, sauf que je ne pouvais pas le faire pour changer le titre de l'icône, du moins pas de façon permanente.
La solution est que PS1 dans Ubuntu définit le titre.
La PS1 par défaut est
\[\e]0;\[email protected]\h: \w\a\]${debian_chroot:+($debian_chroot)}\[email protected]\h:\w\$
... qui définit le titre dans la première séquence d'échappement.
Il existe donc deux solutions:
Solution 1: simplifiez PS1, puis utilisez PROMPT_COMMAND
Modifiez PS1 en quelque chose de plus simple:
PS1="\[email protected]\h:\w\$ "
... puis utilisez le PROMPT_COMMAND:
PROMPT_COMMAND='echo -ne "3]0;SOME TITLE HEREPS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\[email protected]\h:\w\$ '
7"'
Solution 2: modifier directement PS1
Modifiez simplement PS1 avec le nouveau titre:
\[\e]0;\[email protected]\h: \w\a\]${debian_chroot:+($debian_chroot)}\[email protected]\h:\w\$