désolé

voici ce que j'ai envoyé en privé


salut
essaye ca:
tu vas un terminal tu clique sur
aide
sommaire
introduction
et un peu plus bas il y as cela

II.III.Profils du terminal

Vous pouvez créer un nouveau profil et l'appliquer au terminal pour modifier des caractéristiques telles que la police, la couleur et les effets, le comportement pendant le défilement, le titre de la fenêtre et la compatibilité. Vous pouvez également définir dans le profil une commande qui s'exécute automatiquement au lancement du Terminal GNOME.

Vous définissez chaque profil de terminal dans la boîte de dialogue Profils à laquelle vous avez accès depuis le menu Édition. Vous pouvez définir autant de profils que nécessaire. Lorsque vous lancez un terminal, vous pouvez choisir le profil à utiliser pour le terminal ou modifier le profil du terminal lorsque vous utilisez celui-ci. Pour spécifier le profil de terminal initial lorsque vous démarrez l'application depuis une ligne de commande, utilisez la commande suivante :


          gnome-terminal --window-with-profile=nomduprofil


Le nom du profil courant apparaît dans la barre de titre du Terminal GNOME, à moins que vous ne spécifiez un autre nom de barre de titre dans la boîte de dialogue Édition du profil.

Reportez-vous à Section III.II -- Gestion des profils pour des informations sur la définition et l'utilisation d'un nouveau profil pour le terminal.


Répondre à