Utilisation

III.I. Ouverture et fermeture de terminaux

Pour ouvrir une nouvelle fenêtre de terminal :

Choisissez Fichier ▸ Ouvrir un terminal.

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 Fichier ▸ Fermer la fenêtre.

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 Fichier ▸ Ouvrir un onglet ▸ Par défaut ou simplement .Fichier ▸ Ouvrir un onglet 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 Onglets.

Il est aussi possible de choisir Onglets ▸ Onglet suivant ou Onglets ▸ Onglet précédent pour passer d'un onglet à l'autre.

Pour fermer un terminal représenté par un onglet :

  1. Affichez le terminal représenté par un onglet que vous souhaitez fermer.
  2. Choisissez Fichier ▸ Fermer l'onglet.

III.II. Gestion des profils

Pour ajouter un nouveau profil :

  1. Choisissez Fichier ▸ Nouveau profil pour afficher la boîte de dialogue Nouveau profil.
  2. Saisissez le nom du nouveau profil dans la zone de texte Nom du profil.
  3. La liste déroulante Baser sur vous permet de sélectionner le profil qui servira de base.
  4. Cliquez sur Créer pour afficher la boîte de dialogue Édition du profil.
  5. Cliquez sur Fermer. Le Terminal GNOME ajoute le profil au sous-menu Terminal ▸ Changer de profil.

Pour modifier le profil d'un terminal représenté par un onglet :

  1. Cliquez sur le nom de l'onglet du terminal dont vous souhaitez modifier le profil.
  2. Choisissez Terminal ▸ Changer de profil ▸ nom du profil.

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 Édition ▸ Profil actuel.
  • Cliquez avec le bouton droit dans la fenêtre du terminal, puis choisissez Profils ▸ Préférences du profil dans le menu contextuel.
  • Choisissez Édition ▸ Profils, puis sélectionnez le profil à éditer et cliquez sur Éditer. Pour plus d'informations sur les options configurables des profils, consultez Section IV ― Préférences.
Pour supprimer un profil :

  1. Choisissez Édition ▸ Profils.
  2. Sélectionnez le nom du profil à supprimer dans la liste des Profils, puis cliquez sur Supprimer. La boîte de dialogue Supprimer le profil apparaît.
  3. Cliquez sur Supprimer pour confirmer la suppression.
  4. Cliquez sur Fermer pour fermer la boîte de dialogue Profils.

III.III. Modification d'une fenêtre de terminal

Pour masquer la barre de menus :

Choisissez Affichage ▸ Afficher la barre de menus.

Pour afficher une barre de menus masquée :

Cliquez avec le bouton droit sur la fenêtre de terminal, puis choisissez Afficher la barre de menus dans le menu contextuel.

Pour afficher la fenêtre du Terminal GNOME en plein écran :

Choisissez Affichage ▸ Plein écran. 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 Affichage ▸ Plein écran.

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 Édition ▸ Copier.

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 Édition ▸ Coller.
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 :

  1. Déplacez la souris sur l'URL jusqu'à ce que celui-ci soit souligné.
  2. Cliquez sur l'URL avec le bouton droit pour ouvrir un menu contextuel.
  3. Choisissez Ouvrir le lien 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 Édition ▸ Raccourcis clavier. 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 Affichage ▸ Zoom avant.
  • Pour diminuer la taille du texte, choisissez Affichage ▸ Zoom arrière.
  • Pour revenir à la taille habituelle, choisissez Affichage ▸ Taille normale.

III.VII. Modification du titre du terminal

Pour modifier le titre du terminal actuellement visible, procédez comme suit :

  1. Choisissez Terminal ▸ Modifier le titre.
  2. Saisissez le nouveau titre dans la zone de texte Titre. Le Terminal GNOME applique immédiatement la modification.
  3. Cliquez sur Fermer pour fermer la boîte de dialogue Définir le titre.

III.VIII. Modification du codage de caractères

Pour modifier le codage de caractères, choisissez Terminal ▸ Définir le codage des caractères, 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 Définir le codage des caractères, procédez comme suit :

  1. Choisissez Terminal ▸ Définir le codage des caractères ▸ Ajouter ou supprimer.
  2. Pour ajouter un codage au menu Définir le codage des caractères, sélectionnez un codage dans la liste des Codages disponibles, puis cliquez sur le bouton « flèche droite ».
  3. Pour supprimer un codage du menu Définir le codage des caractères, sélectionnez un codage dans la liste des Codages affichés dans le menu, puis cliquez sur le bouton « flèche gauche ».
  4. Cliquez sur Fermer pour fermer la boîte de dialogue Ajouter ou supprimer des codages du terminal.

III.IX. Restauration du terminal

Cette section fournit quelques conseils en cas de problèmes avec les terminaux.

Pour réinitialiser l'état du terminal :

Choisissez Terminal ▸ Réinitialiser.

Pour réinitialiser le terminal et effacer l'écran :

Choisissez Terminal ▸ Réinitialiser et effacer.