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 [EMAIL PROTECTED] 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-fr
