Auparavant, je changeais le titre de mon gnome-terminal pour afficher le serveur auquel j'étais connecté. Je ne me souviens pas comment j'ai fait cela et je ne peux pas le changer maintenant.
J'ai parcouru mon .bashrc et rien trouvé qui pourrait le régler, et connecté en tant que su. En tant que superutilisateur, le titre change également.
J'ai vérifié mon fichier .Xdefaults ... rien
J'ai essayé d'ouvrir un terminal gnome avec:
gnome-terminal --title=$PWD
Tout titre que j'ai défini avec la commande ci-dessus ou PROMPT_COMMAND sera affiché pendant une demi-seconde, puis reviendra au nom de mon serveur.
J'ai aussi regardé les paramètres du terminal. Des pensées où j'aurais pu faire ce changement? Courir sur CentOS.
PS1
variable?Réponses:
Vous pouvez le faire en:
à noter - vous avez d’abord besoin du paquet wmctrl .
la source
Vous pouvez trouver plus de solutions possibles à la source donnée.
la source
Il utilise probablement des codes d'échappement du shell tels que:
echo -ne "\033]2;hello\007"
Cela va définir le titre du terminal
hello
. Et d'après la description, je suppose que vous faites quelque chose comme ceci:gnome-terminal -> shell(e.g. bash) -> ssh user@othermachine -> bash
dans ce cas, vous devez le rechercher sur la machine locale, peut-être quelque chose que bash ou ssh est en train de faire.la source