Changer le titre d'un onglet gnome terminal

Romain Thouvenin romain.thouvenin at gmail.com
Mar 26 Sep 11:11:03 UTC 2006


C'est étrange, car chez moi, quand je change d'host avec une
connection ssh, le nom de l'onglet change aussi... Peut être que cela
se configure ?

Romain

Le 26/09/06, Daniel C<ml at editionsdidier.com> a écrit :
> Bonjour,
>
> Dans gnome terminal, on peut changer le titre via le menu terminal/changer le titre.
>
> Je voudrais le faire par script, depuis l'onglet déjà ouvert, y'a moyen ?
>
> Dans le man, j'ai vu comment ouvrir un nouvel onglet en lui donnant un titre, mais rien sur les onglets déjà ouverts.
>
> Daniel
>
> PS: pour la raison, c'est que le titre user at host est très bien mais ne change pas quand je change de host, et c'est vraiment pas pratique avec des
> onglets différents sur des machines différentes mais qui ont tous le même titre.
>
>
> --
> ubuntu-fr mailing list
> ubuntu-fr at lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-fr
>




Plus d'informations sur la liste de diffusion ubuntu-fr