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?

— Sander
source

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
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
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
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
source