Suivant >>> |
Copyright © 2002, 2003 Sun Microsystems
Copyright © 2000 Miguel de Icaza, Michael Zucchi, and Alexander Kirillov
Se concede autorización para copiar, distribuir o modificar este documento según los términos de la GFDL (GNU Free Documentation Licence), Versión 1.1, o cualquier otra versión posterior publicada por Free Software Fundation sin secciones invariables, textos de portada ni textos de contraportada. Podrá encontrar una copia de la GFDL en este enlace o en el archivo COPYING-DOCS distribuido con este manual.
Este manual forma parte de una colección de manuales de GNOME distribuidos con la GFDL. Si desea distribuir este manual independientemente de la colección, puede hacerlo añadiendo al manual una copia de la licencia, como se describe en el apartado 6 de la licencia.
Muchos de los nombres utilizados por las empresas para diferenciar sus productos y servicios son marcas comerciales. Cuando estos nombres aparecen en cualquier documentación de GNOME y dichas marcas comerciales se ponen en conocimiento de los miembros del Proyecto de documentación de GNOME, entonces los nombres aparecen en mayúsculas o con la inicial en mayúsculas.
El DOCUMENTO Y LAS VERSIONES MODIFICADAS DEL MISMO SE PROPORCIONAN CON SUJECIÓN A LOS TÉRMINOS DE LA GFDL, QUEDANDO BIEN ENTENDIDO, ADEMÁS, QUE:
EL DOCUMENTO SE PROPORCIONA "TAL CUAL", SIN GARANTÍAS DE NINGÚN TIPO, NI EXPRESAS NI IMPLÍCITAS, INCLUYENDO, SIN LIMITACIÓN, CUALQUIER GARANTÍA DE QUE EL DOCUMENTO O UNA VERSIÓN MODIFICADA DEL MISMO CAREZCAN DE DEFECTOS, SEA COMERCIALIZABLE, ADECUADO PARA UNA FINALIDAD DETERMINADA O QUE NO CONSTITUYA NINGUNA INFRACCIÓN. TODO EL RIESGO EN CUANTO A LA CALIDAD, PRECISIÓN Y UTILIDAD DEL DOCUMENTO O DE CUALQUIER VERSIÓN MODIFICADA DEL MISMO LE CORRESPONDE A USTED. EN CASO DE QUE CUALQUIER DOCUMENTO O VERSIÓN MODIFICADA RESULTARA DEFECTUOSO EN CUALQUIER SENTIDO, SERÁ USTED (Y NO EL REDACTOR INICIAL, NI EL AUTOR NI CUALQUIER PERSONA QUE HAYA CONTRIBUIDO) QUIEN ASUMIRÁ EL COSTE DE CUALQUIER SERVICIO TÉCNICO, REPARACIÓN O CORRECCIÓN NECESARIOS. ESTA LIMITACIÓN DE LAS GARANTÍAS CONSTITUYE UNA PARTE ESENCIAL DE ESTA LICENCIA. NO SE AUTORIZA NINGÚN USO DE CUALQUIER DOCUMENTO O VERSIÓN MODIFICADA DEL MISMO SI NO ES CON SUJECIÓN A ESTA LIMITACIÓN DE LAS GARANTÍAS; Y
EN NINGUNA CIRCUNSTANCIA NI SEGÚN NINGÚN ARGUMENTO LEGAL, SEA POR MOTIVOS CULPOSOS (INCLUIDA LA NEGLIGENCIA), CONTRACTUALES O DE OTRO TIPO, NI EL AUTOR, NI EL REDACTOR INICIAL, NI CUALQUIER COLABORADOR, NI CUALQUIER DISTRIBUIDOR DEL DOCUMENTO O VERSIÓN MODIFICADA DEL MISMO, NI CUALQUIER PROVEEDOR DE CUALQUIERA DE DICHAS PARTES, SERÁN RESPONSABLES, ANTE NINGÚN TERCERO, DE NINGÚN DAÑO O PERJUICIO DIRECTO, INDIRECTO, ESPECIAL, INCIDENTAL O CONSIGUIENTE DE NINGÚN TIPO, INCLUIDOS, SIN LIMITACIÓN, LOS DAÑOS POR PÉRDIDA DE FONDO DE COMERCIO, INTERRUPCIÓN DEL TRABAJO, FALLO O MAL FUNCIONAMIENTO INFORMÁTICO, NI CUALQUIER OTRO DAÑO O PÉRDIDA DERIVADOS DEL USO DEL DOCUMENTO Y LAS VERSIONES MODIFICADAS DEL MISMO, O RELACIONADO CON ELLO, INCLUSO SI SE HABÍA COMUNICADO A AQUELLA PARTE LA POSIBILIDAD DE TALES DAÑOS.
Titre | Date | Auteur | Editeur |
---|---|---|---|
Manuel du Terminal GNOME V2.3.2 | Juin 2003 | Équipe de documentation Sun GNOME | Projet de documentation GNOME |
Manuel du Terminal GNOME V2.3.1 | Avril 2003 | Équipe de documentation GNOME | Projet de documentation GNOME |
Manuel du Terminal GNOME V2.3 | Août 2002 | Équipe de documentation GNOME | Projet de documentation GNOME |
Manuel GNOME Terminal V2.2 | Août 2002 | Équipe de documentation GNOME | Projet de documentation GNOME |
Manuel GNOME Terminal V2.1 | Août 2002 | Equipe de documentation GNOME | Projet de documentation GNOME |
Manuel GNOME Terminal V2.0 | Avril 2002 | Equipe de documentation GNOME | Projet de documentation GNOME |
Guide de l'utilisateur du terminal GNOME | Mai 2000 | Miguel de Icaza, Michael Zucchi, Alexander Kirollov <docs@gnome.org> | Projet de documentation GNOME |
Le présent manuel décrit la version 2.0.1 de du Terminal GNOME.
Pour signaler un problème ou faire une suggestion concernant l'application du Terminal GNOME ou le présent manuel, procédez comme indiqué à la GNOME Feedback Page.
Suivant >>> |
Table des matières
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
du Terminal GNOME est une application d'émulation de terminal que vous pouvez utiliser pour effectuer les opérations suivantes :
Un shell est un programme qui interprète et exécute les commandes saisies dans la ligne de commande. Lorsque vous lancez GNOME Terminal, l'application démarre le shell par défaut spécifié dans votre compte système. Vous pouvez passer à un autre shell à tout moment.
du Terminal GNOME propose une émulation du programme xterm développé par X Consortium. Le programme xterm est lui-même une émulation du terminal DEC VT102 et prend également en charge des séquences d'échappement DEC VT220. Une séquence d'échappement représente une série de caractères qui commence par le caractère Echapp. du Terminal GNOME accepte toutes les séquences d'échappement utilisées par les terminaux VT102 et VT220 pour les fonctions telles que le positionnement du curseur et l'effacement de l'écran.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Les sections suivantes expliquent comment utiliser du Terminal GNOME.
Vous pouvez démarrer du Terminal GNOME en recourant à l'une des méthodes suivantes :
Sélectionnez System Tools->Terminal.
Entrez gnome-terminal, puis appuyez sur Entrée.
Vous pouvez utiliser les options de ligne de commande pour modifier la manière dont vous lancez du Terminal GNOME. Pour consulter les options de ligne de commande, entrez gnome-terminal --help, puis appuyez sur Entrée.
Lorsque vous lancez du Terminal GNOME pour la première fois, l'application ouvre une fenêtre de terminal avec un groupe de paramètres par défaut. Le groupe de paramètres par défaut est appelé le Profil par défaut. Le nom du profil apparaît dans la barre de titre de la fenêtre du Terminal GNOME.
La fenêtre de terminal affiche une ligne de commande dans laquelle vous pouvez entrer des commandes UNIX. La ligne de commande peut contenir %, #,>, $ ou des caractères spéciaux. Le curseur est positionné sur la ligne de commande. Lorsque vous tapez une commande UNIX et appuyez sur Entrée, l'ordinateur exécute la commande. Par défaut, du Terminal GNOME utilise le shell par défaut spécifié par l'utilisateur qui lance l'application.
du Terminal GNOME définit également les variables d'environnement suivantes :
xterm par défaut.
gnome-terminal par défaut.
identificateur de fenêtre X11 par défaut.
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 du défilement, le titre de la fenêtre et la compatibilité. Vous pouvez également définir la commande permettant de démarrer du Terminal GNOME dans le profil.
Vous définissez chaque profil de terminal dans la boîte de dialogue Edit Profiles à laquelle vous avez accès depuis le menu Terminal. 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 vous pouvez modifier le profil du terminal lorsque vous utilisez celui-ci. Pour spécifier le profil initial d'un terminal lorsque vous démarrez l'application depuis une ligne de commande, utilisez la commande suivante :
gnome-terminal --window-with-profile= profilename
Le nom du profil courant apparaît dans la barre de titre de du Terminal GNOME, à moins que ne vous spécifiez un autre nom dans la barre de titre de la boîte de dialogue Edition du profil.
Reportez-vous à Gestion des profils pour des informations sur la manière de définir et d'utiliser un nouveau profil du terminal.
du Terminal GNOME propose une fonction de génération d'onglets permettant d'ajouter d'autres terminaux à une fenêtre. Cliquez sur l'onglet approprié pour ouvrir chaque terminal dans la fenêtre. Chaque terminal représenté par un onglet dans une fenêtre constitue un sous-processus distinct. Ainsi, vous pouvez utiliser chaque terminal pour des travaux différents. Vous pouvez appliquer un profil différent à chaque terminal représenté par un onglet dans la fenêtre. La barre de titre de la fenêtre de terminal indique le nom du profil courant ou le nom spécifié par le profil courant. Figure 2. Exemple de fenêtre de terminal avec des onglets affiche une fenêtre du Terminal GNOME avec quatre onglets. Dans ce cas, chacun des quatre onglets possède un profil différent. Le nom du profil courant, profil 1, apparaît dans la barre de titre.
Reportez-vous à Ouverture et fermeture de terminaux pour plus d'informations sur la manière d'ouvrir un nouveau terminal représenté par un onglet.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Sélectionnez File->New Window->Default.
Le nouveau terminal lance un sous-processus avec le même identificateur de processus que le terminal à partir duquel vous l'avez démarré. Le sous-processus utilise moins de ressources système qu'un nouveau du Terminal GNOME démarré depuis un tableau de bord GNOME. Le nouveau terminal hérite des paramètres d'applications et du shell par défaut du terminal initial.
Sélectionnez File->Close Window.
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 du Terminal GNOME.
Sélectionnez File->New Tab->Default.
Cliquez sur le nom de l'onglet du terminal à ouvrir. à
Cliquez sur le nom de l'onglet du terminal à fermer.
Sélectionnez File->Close Tab.
Sélectionnez File->New Profile pour afficher la boîte de dialogue New Profile.
Entrez le nom du nouveau profil dans la zone de texte Profile Name.
La zone de liste déroulante Base on vous permet de sélectionner le profil qui servira de base.
Cliquez sur Create. du Terminal GNOME ajoute le profil au sous-menu Terminal->Profile.
Cliquez sur le nom de l'onglet du terminal dont vous souhaitez modifier le profil.
Sélectionnez Terminal->Profil-> nomprofil.
Vous pouvez éditer les profils dans la boîte de dialogue Edition du profil. Pour ouvrir la boîte de dialogue Edition du profil, procédez comme suit :
Sélectionnez Edit->Current Profile.
Sélectionnez Edit->Profiles, puis sélectionnez le profil à éditer et cliquez sur Edit.
Cliquez avec le bouton droit dans la fenêtre du terminal, puis sélectionnez Edit Current Profile dans le menu contextuel.
Sélectionnez Edit->Profiles.
Sélectionnez le nom du profil à supprimer dans la liste Profiles, puis cliquez sur Delete.
Cliquez sur Delete dans la boîte de dialogue Delete Profile.
Cliquez avec le bouton droit sur la fenêtre de terminal, puis sélectionnez Masquer la barre de menus dans le menu déroulant.
Cliquez avec le bouton droit sur la fenêtre de terminal, puis sélectionnez Afficher la barre de menus dans le menu déroulant.
Reportez-vous à Préférences pour plus d'informations concernant les options à sélectionner dans la boîte de dialogue Editing profile concernant l'affichage de la barre de défilement.
Effectuez l'une des opérations suivantes :
Utilisez la barre de défilement qui est généralement affichée à droite de la fenêtre de terminal.
Appuyez sur les touches Page Haut, Page Bas, Début ou Fin.
Le nombre de lignes antérieures que vous pouvez faire défiler dans la fenêtre de terminal est déterminé par le paramètre Scrollback de l'onglet Scrolling de la boîte de dialogue Editing profiles.
Vous pouvez sélectionner du texte de l'une des manières 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 caractère à sélectionner.
Pour sélectionner un mot à la fois, double-cliquez sur le premier mot à sélectionner et faites glisser la souris jusqu'au dernier mot à sélectionner.
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 ligne à sélectionner.
Ces actions sélectionnent tout le texte entre les premier et dernier éléments. Pour toutes les sélections de texte, du Terminal GNOME copie le texte sélectionné dans le presse-papiers lorsque vous relâchez le bouton de la souris.
Effectuez l'une des opérations suivantes :
Cliquez sur le bouton central dans la ligne de commande. Si votre souris ne possède pas de bouton central, reportez-vous à la documentation de X Server pour savoir comment réaliser l'émulation du bouton central.
Sélectionnez Editer->Coller pour coller du texte dans un terminal. Ceci n'est possible que si vous sélectionnez Edit->Copy pour copier le texte sélectionné dans le presse-papiers.
Vous pouvez faire glisser un fichier d'une autre application, par exemple d'un gestionnaire de fichiers, vers un terminal. Le terminal affiche le chemin et le nom complet du fichier.
Pour ouvrir une URL (Uniform Resource Link) affichée dans un terminal, procédez comme suit :
Déplacez la souris sur l'URL jusqu'à ce que celui-ci soit souligné et que le pointeur de la souris se transforme en main.
Cliquez sur l'URL avec le bouton droit pour ouvrir un menu déroulant.
Sélectionnez Open Link pour lancer une application de liaison et afficher le fichier situé à cette URL.
Pour afficher les raccourcis clavier définis pour du Terminal GNOME, sélectionnez Edit->Keybindings. La boîte de dialogue Keybindings Editor contient les éléments suivants :
Cochez cette case pour désactiver les touches d'accès définies afin de vous permettre de sélectionner un élément de menu à l'aide du clavier plutôt qu'à l'aide de la souris. Chacun 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.
Cochez cette case pour désactiver la touche de raccourci vous permettant d'accéder aux menus de du Terminal GNOME. Par défaut, il s'agit de F10.
La section Accelerators de la boîte de dialogue énumène les touches de raccourci définies pour chacun des éléments des menus. Celles-ci vous permettent de sélectionner un élément de menu à l'aide du clavier plutôt qu'à l'aide de la souris. La touche de raccourci est généralement constituée d'une combinaison de touches qu'il convient d'enfoncer simultanément.
Les sections suivantes vous fournissent quelques conseils si vous êtes confronté à des problèmes avec les terminaux.
Sélectionnez Terminal->Reset.
Sélectionnez Terminal->Reset and Clear.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent |
Pour configurer du Terminal GNOME, sélectionnez Edit->Current Profile. Pour configurer un autre profil, sélectionnez Edit->Profiles, sélectionnez le profil à éditer, puis cliquez sur Edit.
La boîte de dialogue Editing profile "profile name" contient les onglets suivants. Ceux-ci vous permettent de configurer du Terminal GNOME :
Cette zone de texte permet d'indiquer le nom du profil courant.
Cette option permet d'utiliser la police standard définie dans l'outil de préférence Font.
Ce bouton permet de sélectionner un type et une taille de police par défaut pour le terminal. Il n'est disponible que si vous n'avez pas sélectionné l'option Use the same font as other applications.
Ce bouton permet de sélectionner une icône afin de représenter le profil courant.
Sélectionnez cette option pour permettre au terminal d'afficher le texte en gras.
Sélectionnez cette option pour afficher un curseur clignotant.
Sélectionnez cette option pour afficher la barre de menus dans les fenêtres des nouveaux terminaux.
Sélectionnez cette option pour désactiver le signal sonore du terminal.
Cette zone de texte permet d'indiquer les caractères ou groupes de caractères que du Terminal GNOME doit considérer comme des mots lorsque vous sélectionnez du texte mot par mot. Reportez-vous à Utilisation du contenu des fenêtres de terminal pour plus d'informations sur la manière de sélectionner du texte mot par mot.
Cette zone de texte permet de spécifier le titre initial du profil. Les nouveaux terminaux démarrés depuis le terminal courant ont un nouveau titre initial.
Cette zone de liste déroulante permet de définir le titre de la fenêtre de terminal dans le répertoire de travail courant.
Cette liste déroulante permet de choisir une commande à exécuter quand le terminal se ferme.
Sélectionnez cette option pour que la commande exécutée dans le terminal soit traitée comme un shell de connexion. Si la commande n'est pas un shell, ce paramètre n'a aucun effet.
Sélectionnez cette option pour insérer une nouvelle entrée dans les enregistrements utmp et wtmp quand un nouveau shell est ouvert.
Sélectionnez cette option pour exécuter une commande autre que le shell normal sur le terminal. Spécifiez la commande personnalisée dans la zone de texte Commande personnalisée.
Cette option permet d'utiliser les couleurs spécifiées dans le thème GNOME sélectionné dans l'outil de préférence Theme.
La zone de liste déroulante permet de spécifier les couleurs d'arrière-plan et d'avant-plan du terminal. du Terminal GNOME prend en charge les combinaisons de couleurs suivantes pour l'arrière-plan et l'avant-plan :
Noir sur jaune clair
Blanc sur noir
Noir sur blanc
Vert sur noir
Personnalisé
Cette option vous permet de sélectionner des couleurs qui ne se trouvent pas dans le schéma de couleurs sélectionné.
L'affichage réel des couleurs peut varier en fonction du schéma choisi. Par exemple, si vous sélectionnez Blanc sur noir et le schéma de couleurs Console Linux, l'application affiche l'avant-plan et l'arrière-plan en gris clair sur noir.
Cliquez sur le bouton Couleur du texte pour afficher la boîte de dialogue Sélectionner la couleur du texte du terminal. Sélectionnez la couleur à utiliser en tant que couleur d'avant-plan dans la palette de couleurs. Ce bouton n'est disponible que si vous spécifiez l'option Custom colors de la zone de liste déroulante Built-in schemes de la zone de groupe Terminal Color.
Cliquez sur le bouton Couleur d'arrière-plan pour afficher la boîte de dialogue Sélectionner une couleur d'arrière-plan pour le terminal. Sélectionnez la couleur à utiliser en tant que couleur d'arrière-plan dans la palette de couleurs. Ce bouton n'est disponible que si vous spécifiez l'option Custom colors de la zone de liste déroulante Built-in schemes de la zone de groupe Terminal Color.
Un schéma de couleurs est une palette de 16 couleurs. La zone de liste déroulante permet de sélectionner le schéma de couleurs à utiliser. du Terminal GNOME prend en charge les schémas de couleurs suivants :
Console Linux
Xterm
Rxvt
Personnalisé
Chaque schéma de couleurs varie légèrement. Par exemple, Console Linux utilise le gris clair au lieu du blanc. Le schéma de couleurs Personnalisé vous permet de créer une palette de couleurs personnalisée.
La Palette de couleurs permet de personnaliser les 16 couleurs par défaut. Pour personnaliser une couleur, cliquez sur la couleur pour afficher la boîte de dialogue Entrée de la palette. La roue ou les curseurs de sélection permet de personnaliser la couleur, puis cliquez sur OK.
Sélectionnez une option d'affichage d'arrière-plan pour la fenêtre de terminal. Les options sont les suivantes :
Aucun (utiliser une couleur unie)
Sélectionnez cette option pour utiliser la couleur spécifiée dans l'onglet Colorsen tant que couleur d'arrière-plan du terminal.
Image d'arrière-plan
Sélectionnez cette option pour utiliser un fichier graphique en tant qu'arrière-plan du terminal. La zone de liste déroulante Image file permet de spécifier l'emplacement et le nom du fichier graphique. Vous pouvez également cliquer sur le bouton Browse pour rechercher et sélectionner le fichier graphique.
Arrière-plan transparent
Sélectionnez cette option pour utiliser un arrière-plan transparent pour le terminal.
Cette option permet de faire défiler l'image d'arrière-plan en même temps que le texte dans le terminal. Si vous ne sélectionnez pas cette option, elle reste statique et seul le texte défile. Cette option n'est disponible que si vous sélectionnez Background image.
Ce curseur vous permet d'ombrer ou d'assombrir l'arrière-plan du terminal. Cette option n'est disponible que si vous sélectionnez les options Background image ou Transparent background.
Cette zone de liste déroulante permet d'indiquer la position de la barre d'outils sur la fenêtre du terminal.
Cette option permet de spécifier le nombre de lignes antérieures qui peuvent être consultées à l'aide de la barre de défilement. Par exemple, si vous indiquez 100, vous pouvez faire défiler les 100 dernières lignes affichées dans le terminal.
Cette option permet de spécifier le nombre de kilo-octets antérieurs qui peuvent être consultés à l'aide de la barre de défilement. Par exemple, si vous indiquez 94, vous pouvez faire défiler les 94 dernières kilo-octets affichés dans le terminal.
Sélectionnez cette option pour pouvoir utiliser les touches Page Haut et Page Bas pour vous déplacer dans le terminal.
Sélectionnez cette option pour pouvoir faire défiler la sortie sur le terminal pendant que celui-ci continue à éditer une commande.
La zone de liste déroulante permet de sélectionner la fonction à souhaitez attribuer à la touche Espace arrière.
La zone de liste déroulante permet de sélectionner la fonction à attribuer à la touche Suppr.
Ce bouton vous permet de réinitialiser les paramètres par défaut des options de l'onglet Compatibility.
<<< Précédent | Sommaire |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Vous pouvez démarrer du Terminal GNOME en recourant à l'une des méthodes suivantes :
Sélectionnez System Tools->Terminal.
Entrez gnome-terminal, puis appuyez sur Entrée.
Vous pouvez utiliser les options de ligne de commande pour modifier la manière dont vous lancez du Terminal GNOME. Pour consulter les options de ligne de commande, entrez gnome-terminal --help, puis appuyez sur Entrée.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Lorsque vous lancez du Terminal GNOME pour la première fois, l'application ouvre une fenêtre de terminal avec un groupe de paramètres par défaut. Le groupe de paramètres par défaut est appelé le Profil par défaut. Le nom du profil apparaît dans la barre de titre de la fenêtre du Terminal GNOME.
La fenêtre de terminal affiche une ligne de commande dans laquelle vous pouvez entrer des commandes UNIX. La ligne de commande peut contenir %, #,>, $ ou des caractères spéciaux. Le curseur est positionné sur la ligne de commande. Lorsque vous tapez une commande UNIX et appuyez sur Entrée, l'ordinateur exécute la commande. Par défaut, du Terminal GNOME utilise le shell par défaut spécifié par l'utilisateur qui lance l'application.
du Terminal GNOME définit également les variables d'environnement suivantes :
xterm par défaut.
gnome-terminal par défaut.
identificateur de fenêtre X11 par défaut.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
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 du défilement, le titre de la fenêtre et la compatibilité. Vous pouvez également définir la commande permettant de démarrer du Terminal GNOME dans le profil.
Vous définissez chaque profil de terminal dans la boîte de dialogue Edit Profiles à laquelle vous avez accès depuis le menu Terminal. 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 vous pouvez modifier le profil du terminal lorsque vous utilisez celui-ci. Pour spécifier le profil initial d'un terminal lorsque vous démarrez l'application depuis une ligne de commande, utilisez la commande suivante :
gnome-terminal --window-with-profile= profilename
Le nom du profil courant apparaît dans la barre de titre de du Terminal GNOME, à moins que ne vous spécifiez un autre nom dans la barre de titre de la boîte de dialogue Edition du profil.
Reportez-vous à Gestion des profils pour des informations sur la manière de définir et d'utiliser un nouveau profil du terminal.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
du Terminal GNOME propose une fonction de génération d'onglets permettant d'ajouter d'autres terminaux à une fenêtre. Cliquez sur l'onglet approprié pour ouvrir chaque terminal dans la fenêtre. Chaque terminal représenté par un onglet dans une fenêtre constitue un sous-processus distinct. Ainsi, vous pouvez utiliser chaque terminal pour des travaux différents. Vous pouvez appliquer un profil différent à chaque terminal représenté par un onglet dans la fenêtre. La barre de titre de la fenêtre de terminal indique le nom du profil courant ou le nom spécifié par le profil courant. Figure 2. Exemple de fenêtre de terminal avec des onglets affiche une fenêtre du Terminal GNOME avec quatre onglets. Dans ce cas, chacun des quatre onglets possède un profil différent. Le nom du profil courant, profil 1, apparaît dans la barre de titre.
Reportez-vous à Ouverture et fermeture de terminaux pour plus d'informations sur la manière d'ouvrir un nouveau terminal représenté par un onglet.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
Suivant >>> |
Sélectionnez File->New Window->Default.
Le nouveau terminal lance un sous-processus avec le même identificateur de processus que le terminal à partir duquel vous l'avez démarré. Le sous-processus utilise moins de ressources système qu'un nouveau du Terminal GNOME démarré depuis un tableau de bord GNOME. Le nouveau terminal hérite des paramètres d'applications et du shell par défaut du terminal initial.
Sélectionnez File->Close Window.
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 du Terminal GNOME.
Sélectionnez File->New Tab->Default.
Cliquez sur le nom de l'onglet du terminal à ouvrir. à
Cliquez sur le nom de l'onglet du terminal à fermer.
Sélectionnez File->Close Tab.
Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Sélectionnez File->New Profile pour afficher la boîte de dialogue New Profile.
Entrez le nom du nouveau profil dans la zone de texte Profile Name.
La zone de liste déroulante Base on vous permet de sélectionner le profil qui servira de base.
Cliquez sur Create. du Terminal GNOME ajoute le profil au sous-menu Terminal->Profile.
Cliquez sur le nom de l'onglet du terminal dont vous souhaitez modifier le profil.
Sélectionnez Terminal->Profil-> nomprofil.
Vous pouvez éditer les profils dans la boîte de dialogue Edition du profil. Pour ouvrir la boîte de dialogue Edition du profil, procédez comme suit :
Sélectionnez Edit->Current Profile.
Sélectionnez Edit->Profiles, puis sélectionnez le profil à éditer et cliquez sur Edit.
Cliquez avec le bouton droit dans la fenêtre du terminal, puis sélectionnez Edit Current Profile dans le menu contextuel.
Sélectionnez Edit->Profiles.
Sélectionnez le nom du profil à supprimer dans la liste Profiles, puis cliquez sur Delete.
Cliquez sur Delete dans la boîte de dialogue Delete Profile.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Cliquez avec le bouton droit sur la fenêtre de terminal, puis sélectionnez Masquer la barre de menus dans le menu déroulant.
Cliquez avec le bouton droit sur la fenêtre de terminal, puis sélectionnez Afficher la barre de menus dans le menu déroulant.
Reportez-vous à Préférences pour plus d'informations concernant les options à sélectionner dans la boîte de dialogue Editing profile concernant l'affichage de la barre de défilement.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Effectuez l'une des opérations suivantes :
Utilisez la barre de défilement qui est généralement affichée à droite de la fenêtre de terminal.
Appuyez sur les touches Page Haut, Page Bas, Début ou Fin.
Le nombre de lignes antérieures que vous pouvez faire défiler dans la fenêtre de terminal est déterminé par le paramètre Scrollback de l'onglet Scrolling de la boîte de dialogue Editing profiles.
Vous pouvez sélectionner du texte de l'une des manières 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 caractère à sélectionner.
Pour sélectionner un mot à la fois, double-cliquez sur le premier mot à sélectionner et faites glisser la souris jusqu'au dernier mot à sélectionner.
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 ligne à sélectionner.
Ces actions sélectionnent tout le texte entre les premier et dernier éléments. Pour toutes les sélections de texte, du Terminal GNOME copie le texte sélectionné dans le presse-papiers lorsque vous relâchez le bouton de la souris.
Effectuez l'une des opérations suivantes :
Cliquez sur le bouton central dans la ligne de commande. Si votre souris ne possède pas de bouton central, reportez-vous à la documentation de X Server pour savoir comment réaliser l'émulation du bouton central.
Sélectionnez Editer->Coller pour coller du texte dans un terminal. Ceci n'est possible que si vous sélectionnez Edit->Copy pour copier le texte sélectionné dans le presse-papiers.
Vous pouvez faire glisser un fichier d'une autre application, par exemple d'un gestionnaire de fichiers, vers un terminal. Le terminal affiche le chemin et le nom complet du fichier.
Pour ouvrir une URL (Uniform Resource Link) affichée dans un terminal, procédez comme suit :
Déplacez la souris sur l'URL jusqu'à ce que celui-ci soit souligné et que le pointeur de la souris se transforme en main.
Cliquez sur l'URL avec le bouton droit pour ouvrir un menu déroulant.
Sélectionnez Open Link pour lancer une application de liaison et afficher le fichier situé à cette URL.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Pour afficher les raccourcis clavier définis pour du Terminal GNOME, sélectionnez Edit->Keybindings. La boîte de dialogue Keybindings Editor contient les éléments suivants :
Cochez cette case pour désactiver les touches d'accès définies afin de vous permettre de sélectionner un élément de menu à l'aide du clavier plutôt qu'à l'aide de la souris. Chacun 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.
Cochez cette case pour désactiver la touche de raccourci vous permettant d'accéder aux menus de du Terminal GNOME. Par défaut, il s'agit de F10.
La section Accelerators de la boîte de dialogue énumène les touches de raccourci définies pour chacun des éléments des menus. Celles-ci vous permettent de sélectionner un élément de menu à l'aide du clavier plutôt qu'à l'aide de la souris. La touche de raccourci est généralement constituée d'une combinaison de touches qu'il convient d'enfoncer simultanément.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Les sections suivantes vous fournissent quelques conseils si vous êtes confronté à des problèmes avec les terminaux.
Sélectionnez Terminal->Reset.
Sélectionnez Terminal->Reset and Clear.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Cette zone de texte permet d'indiquer le nom du profil courant.
Cette option permet d'utiliser la police standard définie dans l'outil de préférence Font.
Ce bouton permet de sélectionner un type et une taille de police par défaut pour le terminal. Il n'est disponible que si vous n'avez pas sélectionné l'option Use the same font as other applications.
Ce bouton permet de sélectionner une icône afin de représenter le profil courant.
Sélectionnez cette option pour permettre au terminal d'afficher le texte en gras.
Sélectionnez cette option pour afficher un curseur clignotant.
Sélectionnez cette option pour afficher la barre de menus dans les fenêtres des nouveaux terminaux.
Sélectionnez cette option pour désactiver le signal sonore du terminal.
Cette zone de texte permet d'indiquer les caractères ou groupes de caractères que du Terminal GNOME doit considérer comme des mots lorsque vous sélectionnez du texte mot par mot. Reportez-vous à Utilisation du contenu des fenêtres de terminal pour plus d'informations sur la manière de sélectionner du texte mot par mot.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Cette zone de texte permet de spécifier le titre initial du profil. Les nouveaux terminaux démarrés depuis le terminal courant ont un nouveau titre initial.
Cette zone de liste déroulante permet de définir le titre de la fenêtre de terminal dans le répertoire de travail courant.
Cette liste déroulante permet de choisir une commande à exécuter quand le terminal se ferme.
Sélectionnez cette option pour que la commande exécutée dans le terminal soit traitée comme un shell de connexion. Si la commande n'est pas un shell, ce paramètre n'a aucun effet.
Sélectionnez cette option pour insérer une nouvelle entrée dans les enregistrements utmp et wtmp quand un nouveau shell est ouvert.
Sélectionnez cette option pour exécuter une commande autre que le shell normal sur le terminal. Spécifiez la commande personnalisée dans la zone de texte Commande personnalisée.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Cette option permet d'utiliser les couleurs spécifiées dans le thème GNOME sélectionné dans l'outil de préférence Theme.
La zone de liste déroulante permet de spécifier les couleurs d'arrière-plan et d'avant-plan du terminal. du Terminal GNOME prend en charge les combinaisons de couleurs suivantes pour l'arrière-plan et l'avant-plan :
Noir sur jaune clair
Blanc sur noir
Noir sur blanc
Vert sur noir
Personnalisé
Cette option vous permet de sélectionner des couleurs qui ne se trouvent pas dans le schéma de couleurs sélectionné.
L'affichage réel des couleurs peut varier en fonction du schéma choisi. Par exemple, si vous sélectionnez Blanc sur noir et le schéma de couleurs Console Linux, l'application affiche l'avant-plan et l'arrière-plan en gris clair sur noir.
Cliquez sur le bouton Couleur du texte pour afficher la boîte de dialogue Sélectionner la couleur du texte du terminal. Sélectionnez la couleur à utiliser en tant que couleur d'avant-plan dans la palette de couleurs. Ce bouton n'est disponible que si vous spécifiez l'option Custom colors de la zone de liste déroulante Built-in schemes de la zone de groupe Terminal Color.
Cliquez sur le bouton Couleur d'arrière-plan pour afficher la boîte de dialogue Sélectionner une couleur d'arrière-plan pour le terminal. Sélectionnez la couleur à utiliser en tant que couleur d'arrière-plan dans la palette de couleurs. Ce bouton n'est disponible que si vous spécifiez l'option Custom colors de la zone de liste déroulante Built-in schemes de la zone de groupe Terminal Color.
Un schéma de couleurs est une palette de 16 couleurs. La zone de liste déroulante permet de sélectionner le schéma de couleurs à utiliser. du Terminal GNOME prend en charge les schémas de couleurs suivants :
Console Linux
Xterm
Rxvt
Personnalisé
Chaque schéma de couleurs varie légèrement. Par exemple, Console Linux utilise le gris clair au lieu du blanc. Le schéma de couleurs Personnalisé vous permet de créer une palette de couleurs personnalisée.
La Palette de couleurs permet de personnaliser les 16 couleurs par défaut. Pour personnaliser une couleur, cliquez sur la couleur pour afficher la boîte de dialogue Entrée de la palette. La roue ou les curseurs de sélection permet de personnaliser la couleur, puis cliquez sur OK.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Sélectionnez une option d'affichage d'arrière-plan pour la fenêtre de terminal. Les options sont les suivantes :
Aucun (utiliser une couleur unie)
Sélectionnez cette option pour utiliser la couleur spécifiée dans l'onglet Colorsen tant que couleur d'arrière-plan du terminal.
Image d'arrière-plan
Sélectionnez cette option pour utiliser un fichier graphique en tant qu'arrière-plan du terminal. La zone de liste déroulante Image file permet de spécifier l'emplacement et le nom du fichier graphique. Vous pouvez également cliquer sur le bouton Browse pour rechercher et sélectionner le fichier graphique.
Arrière-plan transparent
Sélectionnez cette option pour utiliser un arrière-plan transparent pour le terminal.
Cette option permet de faire défiler l'image d'arrière-plan en même temps que le texte dans le terminal. Si vous ne sélectionnez pas cette option, elle reste statique et seul le texte défile. Cette option n'est disponible que si vous sélectionnez Background image.
Ce curseur vous permet d'ombrer ou d'assombrir l'arrière-plan du terminal. Cette option n'est disponible que si vous sélectionnez les options Background image ou Transparent background.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent | Suivant >>> |
Cette zone de liste déroulante permet d'indiquer la position de la barre d'outils sur la fenêtre du terminal.
Cette option permet de spécifier le nombre de lignes antérieures qui peuvent être consultées à l'aide de la barre de défilement. Par exemple, si vous indiquez 100, vous pouvez faire défiler les 100 dernières lignes affichées dans le terminal.
Cette option permet de spécifier le nombre de kilo-octets antérieurs qui peuvent être consultés à l'aide de la barre de défilement. Par exemple, si vous indiquez 94, vous pouvez faire défiler les 94 dernières kilo-octets affichés dans le terminal.
Sélectionnez cette option pour pouvoir utiliser les touches Page Haut et Page Bas pour vous déplacer dans le terminal.
Sélectionnez cette option pour pouvoir faire défiler la sortie sur le terminal pendant que celui-ci continue à éditer une commande.
<<< Précédent | Sommaire | Suivant >>> |
Manuel du Terminal GNOME V2.3.2
<<< Précédent |
La zone de liste déroulante permet de sélectionner la fonction à souhaitez attribuer à la touche Espace arrière.
La zone de liste déroulante permet de sélectionner la fonction à attribuer à la touche Suppr.
Ce bouton vous permet de réinitialiser les paramètres par défaut des options de l'onglet Compatibility.
<<< Précédent | Sommaire |