Introduction Introduction Démarrage de GNOME Terminal Premier lancement de GNOME Terminal Profils du terminal Utilisation de plusieurs terminaux Utilisation Ouverture et fermeture de terminaux Gestion des profils Modification d'une fenêtre de terminal Utilisation du contenu des fenêtres de terminal Affichage des raccourcis clavier Restauration du terminal Préférences Général Titre et commande Couleurs Effets Défilement Compatibilité