Gnome: changer le titre du terminal actuel depuis la ligne de commande bash

9

Je sais qu'il existe des options pour démarrer un nouveau terminal avec un titre spécifié, et il est possible de changer le titre d'un terminal en utilisant le menu: 'Terminal' -> Définir le titre.

Cependant, je veux le changer pour un terminal actuel à partir de la ligne de commande. Comment puis-je changer le titre d'un terminal Gnome existant à partir de la ligne de commande?

bash gnome ubuntu-11.04 gnome-terminal Sander
la source

Réponses:

13

Générez une séquence d'échappement xterm appropriée.

echo -ne '\033]0;New title\007'

Voir aussi Comment changer le titre d'un xterm .

tripleee
la source
Parfait, c'est tout! : D Aussi, merci pour le lien très intéressant.
Sander
Bien, mais est-il compatible avec plusieurs plates-formes?
l0b0
1
@tripleee: Habituellement, il est recommandé d'utiliser des tputcommandes pour imprimer de telles séquences d'échappement, comme mentionné dans ce double exact .
l0b0
1
@triplee Merci pour votre contribution! Cependant, je ne considère pas cette question comme un double exact de celle que vous avez mentionnée. Le contexte de l'autre question est très différent.
Sander
2
Cela ne semble plus fonctionner
kapad
0

Cela peut valoir la peine d'essayer KDE. Il a des fenêtres de terminal à onglets, et chaque onglet peut être nommé simplement en cliquant avec le bouton droit sur l'onglet.

Scott C Wilson
la source
Merci pour votre suggestion, cependant, j'aime toujours Gnome :)
Sander
0

Si vous devez le définir sur le nom d'hôte auquel vous êtes connecté, vous pouvez utiliser:

echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"
Benjamin Goodacre
la source
0

Si vous utilisez Ubuntu 16.04, vous devrez peut-être effacer la PS1 et PROMPT_COMMAND comme:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

J'ai mis en place une écriture sur le lien .

Zach Pfeffer
la source