web-dev-qa-db-fra.com

Nouvelle installation Ubuntu 15.04: impossible de renommer les onglets gnome-terminal

Dans Ubuntu 14.10, si plusieurs onglets de terminal étaient ouverts, je pourrais cliquer avec le bouton droit de la souris sur un onglet de terminal et le renommer. Dans Ubuntu 15.04, je ne trouve pas cette fonctionnalité.

Y a-t-il un moyen facile de le récupérer?

Ceci est la version actuelle:

$ gnome-terminal --version
GNOME Terminal 3.14.2
gnome-terminal15.04
38
Tom

Répondu ici

Je cite:

Le code user title a été supprimé1 de gnome-terminal 3.14. Il n'y a qu'une seule façon de définir le titre, en utilisant une séquence d'échappement - par exemple. avec bash:

Prompt_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"'

1: voir gnome bogue 72411 et gnome bogue 740188 .

21
A.B.

La solution .bashrcproposée par Kirby a fonctionné pour moi:

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

puis à partir de mon invite: $ set-title test-title

31
ronan_mac

Je ne peux pas croire qu'ils ont supprimé une fonctionnalité aussi conviviale que celle-ci.

Je passe à ROXTerm ( http://roxterm.sourceforge.net ), qui fait très bien l'affaire. C'est emballé dans Ubuntu:

Sudo apt-get install roxterm

Ensuite, laissez le dinosaure continuer sa propre voie ;-)

18
Michael Opdenacker

J'ai essayé RoxTerm comme suggéré ci-dessus, avec de bons résultats. Mais je me suis installé sur MATE Terminal, qui fait partie du MATE Project, prolongement de Gnome 2, le 15.04:

Sudo apt-get install mate-terminal

Ce terminal est basé sur le code du terminal Gnome.

Commentaire: Il est difficile de comprendre l’état d’esprit des développeurs de Gnome Terminal. Il y a beaucoup de discussions là-bas sur "comment" nommer les onglets de terminal, et comment il est difficile de faire les choses correctement. Si tel est le cas, pourquoi empêcher l’utilisateur de le nommer plus difficilement? Pas très intelligent du tout.

14
Doug Van Horn

Maintenant, j'ai étudié cela pendant la plus grande partie de la journée et j'ai finalement trouvé un moyen de définir ce titre. Cela se fait via des séquences d'échappement commençant par\e] 0; et se terminer par un caractère BEL (=\007 =\a). Contrairement à ce que j'ai indiqué ci-dessus, les communications de Shell vers l'application de terminal sont possibles, très limitées, via de telles séquences d'échappement (il en existe quelques-unes de plus).

À propos de cela d'en haut:

Prompt_COMMAND='echo -ne "\e]0;YOUR TITLE GOES HERE\a"'

Cela peut fonctionner, mais ce n'est pas toujours le cas. Prompt_COMMAND est une variable dont le contenu est exécuté à chaque fois que vous envoyez une commande. Il envoie donc également cette séquence d'échappement. Toutefois, cela peut être annulé par une séquence d'échappement dans la variable PS1, qui définit l'invite de ligne de commande. C'est pourquoi ce qui précède n'a eu aucun effet ici.

Dans une ancienne installation Ubuntu, j'ai saisi ceci, qui définit la commande Invite (partie droite, après le ]) et envoie également la séquence d'échappement requise (partie gauche, jusqu'au ] compris):

PS1="\[\e]0;\u@\h: \w\a\]\u@\h:\w\$ "

Cela fonctionne probablement mieux, car il n'est pas nécessaire d'interpréter $Prompt_COMMAND à chaque fois. Il a également beaucoup plus d'options, car Bash a plus de séquences d'échappement ici, par exemple. \u pour le nom d'utilisateur actuel, \W pour le nom du répertoire en cours ou \w pour le chemin d'accès complet du répertoire de travail en cours, éventuellement ajusté aux derniers chiffres uniquement par le numéro dans $Prompt_DIRTRIM. Reportez-vous au chapitre PROMPTING dans la page de manuel Bash. Notez également que la séquence d'échappement doit en outre être entourée par \[ et \] ici.

Pour définir un titre fixe, cela fonctionne:

PS1="\[\e]0;YOUR TITLE GOES HERE\a\]\u@\h:\w\$ "

Prendre plaisir!

Au cours de mon enquête, j’ai également essayé de comprendre le code source de gnome-terminal, ce qui conduit au code source vte et la prise en charge de la définition du titre et de la lecture des séquences d’échappement est considérée comme un risque pour la sécurité: voir ici (cas 20, cas 21) et ici ("Rapport de titre de fenêtre").

6
Traumflug

Définir $ Prompt_COMMAND comme indiqué ci-dessus n'a aucun effet ici. Pas de surprise, car Bash s'exécute dans le terminal et les processus parents (ici: gnome-terminal) ne peuvent pas lire l'environnement d'un enfant sur un système d'exploitation de type Unix. Utiliser quelque chose de plus simple, comme

Prompt_COMMAND='echo bla'

Exécute echo bla, rien d'autre ne se passe.

Edit: il faut envelopper cela dans des séquences d'échappement, voir mon autre réponse. Bien que la lecture de l'environnement enfant ne soit pas possible, certaines communications avec le parent le sont via ces séquences.

Dans le bogue 740188 de Gnome, ils parlent de la définition d'une fonction title () dans .bashrc. Un différent pour chaque onglet ouvert? Le piratage laide grave à venir, si possible du tout!

Même d’autres explications sur Stackexchange parlent de la définition de $ PS1 (et d’être voté). Désolé, non, ce n'est pas le titre, c'est la commande Invite.

En bref: ils ont tout gâché pour économiser un petit espace dans la boîte de dialogue des préférences. OMG

Désormais, la seule chance d'obtenir la décision d'un développeur est révoquée, c'est de déclencher une tempête de merde grave, sinon le rapport de bogue se ferme en quelques secondes (plusieurs tentatives tentées). Comment pourrions-nous créer cette merde?

5
Traumflug