Je peux définir le titre du terminal en utilisant "set Title", mais ce titre n'est pas visible lorsque le terminal est minimisé. le titre par défaut est affiché sur la barre des tâches (où toutes les applications ouvertes sont visibles). Comment changer ce titre ?
Réponse acceptée :
Dans les paramètres du profil (Modifier> Préférences du profil ), sur l'onglet Titre et commande , définissez le titre par défaut et assurez-vous de sélectionner Conserver le titre initial dans la combobox :
.
Pour plusieurs titres, utilisez le -t de Gnome Terminal ou --title= interrupteur. Pour chaque titre, créez un lanceur ou un script shell qui exécutera quelque chose comme gnome-terminal -t "My awesome title here" . Une autre option serait de créer un profil séparé pour chaque titre et d'exécuter un terminal avec par ex. --window-with-profile=PROFILENAME option - voir man gnome-terminal .
Si cela ne fonctionne pas, j'aurai besoin de plus d'informations sur votre configuration, en particulier sur la version d'Ubuntu et sur l'environnement de bureau/la session (par exemple, Gnome Classic) que vous utilisez - une capture d'écran montrant le titre non modifié dans la barre des tâches serait également utile.