[Linux] taille de l'affichage dans terminal

[Jean François Koenig]

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.