Préférences Onglet Terminal
Utilisez les préférences Onglet dans Terminal pour spécifier les informations qui apparaissent dans le titre des onglets pour un profile. Pour ouvrir cette sous-fenêtre, choisissez Terminal > Préférences, cliquez sur Profils, puis sur Onglet.
Vous pouvez créer un profil ou modifier un profil existant.
Titre | Sélectionnez les informations à afficher dans le titre des onglets.
|