Utilisation
- III.I. Ouverture et fermeture de terminaux
- III.II. Gestion des profils
- III.III. Modification d'une fenêtre de terminal
- III.IV. Contenu des fenêtres de terminal
- III.V. Affichage des raccourcis clavier
- III.VI. Taille du texte
- III.VII. Modification du titre du terminal
- III.VIII. Modification du codage de caractères
- III.IX. Restauration du terminal
III.I. Ouverture et fermeture de terminaux
- Pour ouvrir une nouvelle fenêtre de terminal :
-
Choisissez
.Le nouveau terminal hérite des réglages d'application et du shell par défaut du terminal parent.
- Pour fermer une fenêtre de terminal :
-
Choisissez
.Cette action ferme la fenêtre et tous les sous-processus ouverts depuis le terminal. Si vous fermez la dernière fenêtre de terminal, vous quittez le programme Terminal GNOME.
- Pour ajouter un nouvel onglet de terminal dans la même fenêtre :
-
Choisissez
ou simplement . s'il n'y a pas de sous-menu. - Pour afficher un terminal représenté par un onglet :
-
Cliquez sur l'onglet du terminal que vous souhaitez afficher ou sélectionnez un titre d'onglet à partir du menu
.Il est aussi possible de choisir
ou pour passer d'un onglet à l'autre. - Pour fermer un terminal représenté par un onglet :
-
- Affichez le terminal représenté par un onglet que vous souhaitez fermer.
- Choisissez .
III.II. Gestion des profils
- Pour ajouter un nouveau profil :
-
- Choisissez Nouveau profil. pour afficher la boîte de dialogue
- Saisissez le nom du nouveau profil dans la zone de texte Nom du profil.
- La liste déroulante Baser sur vous permet de sélectionner le profil qui servira de base.
- Cliquez sur Édition du profil. pour afficher la boîte de dialogue
- Cliquez sur Terminal GNOME ajoute le profil au sous-menu . . Le
- Pour modifier le profil d'un terminal représenté par un onglet :
-
- Cliquez sur le nom de l'onglet du terminal dont vous souhaitez modifier le profil.
- Choisissez .
- Pour éditer un profil :
-
Vous pouvez éditer les profils dans la boîte de dialogue Édition du profil. Pour ouvrir cette boîte de dialogue, utilisez l'une des procédures suivantes :
- Choisissez .
- Cliquez avec le bouton droit dans la fenêtre du terminal, puis choisissez dans le menu contextuel.
- Choisissez Section IV ― Préférences. , puis sélectionnez le profil à éditer et cliquez sur . Pour plus d'informations sur les options configurables des profils, consultez
- Pour supprimer un profil :
-
- Choisissez .
- Sélectionnez le nom du profil à supprimer dans la liste des Profils, puis cliquez sur . La boîte de dialogue Supprimer le profil apparaît.
- Cliquez sur pour confirmer la suppression.
- Cliquez sur Profils. pour fermer la boîte de dialogue
III.III. Modification d'une fenêtre de terminal
- Pour masquer la barre de menus :
-
Choisissez
. - Pour afficher une barre de menus masquée :
-
Cliquez avec le bouton droit sur la fenêtre de terminal, puis choisissez
dans le menu contextuel. - Pour afficher la fenêtre du Terminal GNOME en plein écran :
-
Choisissez
. Le mode plein écran affiche le texte dans une fenêtre qui remplit tout l'écran. La fenêtre ne comporte plus de cadre ni de barre de titre. Pour sortir de ce mode, choisissez à nouveau . - Pour modifier l'apparence d'une fenêtre de terminal :
-
Reportez-vous à Section IV ― Préférences pour plus d'informations concernant les options à sélectionner dans la boîte de dialogue Édition du profil concernant la modification de l'apparence de la fenêtre du terminal. Par exemple, vous pouvez changer la couleur de l'arrière-plan ou l'emplacement de la barre de défilement.
III.IV. Contenu des fenêtres de terminal
- Pour faire défiler les commandes et résultats antérieurs :
-
Effectuez l'une des opérations suivantes :
- Utilisez la barre de défilement généralement affichée à droite de la fenêtre de terminal.
- Appuyez sur les touches Majuscule+Page haut, Majuscule+Page bas, Majuscule+Origine ou Majuscule+Fin.
Le nombre de lignes d'historique que vous pouvez faire défiler dans la fenêtre de terminal est déterminé par le paramètre Lignes d'historique de l'onglet Défilement de la boîte de dialogue Édition du profil. Vous pouvez faire défiler vers le haut ou vers le bas en appuyant sur Ctrl+Maj+Flèche vers le haut ou Ctrl+Maj+Flèche vers le bas.
- Pour sélectionner et copier du texte :
-
Vous pouvez sélectionner du texte en recourant à l'une des méthodes suivantes :
- Pour sélectionner un caractère à la fois, cliquez sur le premier caractère à sélectionner et faites glisser la souris jusqu'au dernier.
- Pour sélectionner un mot à la fois, double-cliquez sur le premier mot à sélectionner et faites glisser la souris jusqu'au dernier. Les symboles sont sélectionnés individuellement.
- Pour sélectionner une ligne à la fois, cliquez trois fois sur la première ligne à sélectionner et faites glisser la souris jusqu'à la dernière.
Ces actions sélectionnent tout le texte entre les premier et dernier éléments. Pour toutes les sélections de texte, le Terminal GNOME copie le texte sélectionné dans le presse-papiers lorsque vous relâchez le bouton de la souris. Pour copier explicitement le texte sélectionné, choisissez .
- Pour coller du texte dans un terminal :
-
Si vous avez déjà copié du texte dans le presse-papiers, vous pouvez le coller dans un terminal en effectuant l'une des actions suivantes :
- Pour coller du texte qui est uniquement sélectionné, cliquez avec le bouton du milieu dans l'invite de commande. Si votre souris ne possède pas de bouton du milieu, reportez-vous à la documentation du serveur X pour savoir comment réaliser l'émulation de ce bouton.
- Pour coller du texte qui a été explicitement copié, choisissez .
- Pour glisser un nom de fichier dans une fenêtre de terminal :
-
Vous pouvez faire glisser un nom de fichier depuis une autre application, par exemple un gestionnaire de fichiers, vers un terminal. Le terminal affiche le chemin et le nom complet du fichier.
- Pour ouvrir un lien :
-
Pour ouvrir un URL (Uniform Resource Locator) affiché dans un terminal, procédez comme suit :
- Déplacez la souris sur l'URL jusqu'à ce que celui-ci soit souligné.
- Cliquez sur l'URL avec le bouton droit pour ouvrir un menu contextuel.
- Choisissez pour lancer une application de liaison et afficher le fichier correspondant à cet URL.
III.V. Affichage des raccourcis clavier
Pour afficher les raccourcis clavier définis pour le Terminal GNOME, choisissez . La boîte de dialogue Raccourcis clavier contient les éléments suivants :
- Désactiver tous les raccourcis clavier des menus (comme Alt+F pour ouvrir le menu Fichier)
-
Décochez cette case pour désactiver les touches d'accès permettant de sélectionner un élément de menu à l'aide du clavier plutôt qu'à l'aide de la souris. Chacune d'entre elles est identifiée par une lettre soulignée dans l'option de menu ou de boîte de dialogue. Dans certains cas, vous devez appuyer à la fois sur la touche d'accès et sur la touche Alt pour exécuter l'action.
- Désactiver le raccourci clavier d'accès au menu (F10 par défaut)
-
Décochez cette case pour désactiver la touche de raccourci vous permettant d'accéder aux menus du Terminal GNOME. Par défaut, il s'agit de F10.
- Raccourcis clavier
-
La section Raccourcis clavier de la boîte de dialogue énumère les raccourcis clavier définis pour chaque élément de menu.
On ne peut pas utiliser n'importe quelle touche dans un raccourci clavier, comme par exemple Tab.
III.VI. Taille du texte
Vous pouvez employer l'une des méthodes suivantes pour redimensionner le texte dans une fenêtre du terminal GNOME :
- Pour augmenter la taille du texte, choisissez .
- Pour diminuer la taille du texte, choisissez .
- Pour revenir à la taille habituelle, choisissez .
III.VII. Modification du titre du terminal
Pour modifier le titre du terminal actuellement visible, procédez comme suit :
- Choisissez .
- Saisissez le nouveau titre dans la zone de texte Titre. Le Terminal GNOME applique immédiatement la modification.
- Cliquez sur Définir le titre. pour fermer la boîte de dialogue
III.VIII. Modification du codage de caractères
Pour modifier le codage de caractères, choisissez
, puis sélectionnez le codage approprié.III.VIII.I. Modification de la liste des codages de caractères
Pour modifier la liste des codages de caractères affichée dans le menu
, procédez comme suit :- Choisissez .
- Pour ajouter un codage au menu Codages disponibles, puis cliquez sur le bouton « flèche droite ». , sélectionnez un codage dans la liste des
- Pour supprimer un codage du menu Codages affichés dans le menu, puis cliquez sur le bouton « flèche gauche ». , sélectionnez un codage dans la liste des
- Cliquez sur Ajouter ou supprimer des codages du terminal. pour fermer la boîte de dialogue