Comment utiliser l'application Gnome Terminal
Dans cet article, je vais vous montrer comment utiliser l'application Gnome Terminal. Alors, commençons.
Bases du terminal GNOME:
Gnome Terminal sur Ubuntu 18.04 regarde comme suit.
Vous pouvez saisir une commande et appuyer surPour exécuter la commande. La sortie de la commande doit être imprimée à l'écran.
Travailler avec les onglets et les fenêtres:
Vous pouvez créer un nouvel onglet à partir de Déposer > Nouvel onglet.
Vous pouvez créer une nouvelle fenêtre de terminal à partir de Déposer > Nouvelle fenetre.
Si vous créez un nouvel onglet, il sera affiché dans la barre d'onglet. Vous pouvez cliquer sur n'importe quel onglet pour y passer.
La création d'une nouvelle fenêtre ouvrira une nouvelle instance de terminal.
Pour fermer une fenêtre, cliquez sur Déposer > Fermer la fenêtre.
Pour fermer l'onglet actif, cliquez sur Déposer > Fermer l'onglet.
Réglage de la taille du terminal, jeu de caractères et réinitialisation:
Dans le menu du terminal, vous pouvez définir un jeu de caractères, modifier la taille du terminal et réinitialiser le terminal et effacer les sorties du terminal.
Pour modifier le jeu / codage de caractères, sélectionnez un jeu de caractères / codage à partir de Terminal > Définir le codage des caractères.
Vous pouvez redimensionner le terminal à certaines tailles prédéfinies comme vous pouvez le voir dans la capture d'écran ci-dessous.
Pour réinitialiser le terminal, cliquez sur Terminal > Réinitialiser.
Si vous souhaitez également effacer l'écran du terminal, cliquez sur Terminal > Réinitialiser et clair.
Une fois que vous avez réinitialisé le terminal, appuyez .
L'invite du terminal doit être affichée.
Recherche d'écran du terminal:
Vous pouvez rechercher l'écran du terminal pour une chaîne spécifique. Pour ce faire, cliquez sur Recherche > Trouver
Ensuite, saisissez votre requête de recherche et appuyez sur .
Vous pouvez effectuer une recherche sensible à la casse (vérifier Cas de correspondance) et utiliser une expression régulière (vérifier Correspondre comme une expression régulière) aussi.
Vous pouvez cliquer sur pour accéder respectivement au match précédent et suivant.
Cacheter Menubar:
Pour cacher le menubar, décochez Voir > Montrer le menubar.
Le menubar doit être caché. Pour ramener à nouveau le menubar, cliquez avec le bouton droit sur le terminal et cliquez sur Montrer le menubar.
Le Menubar devrait réapparaître.
Terminal plein écran:
Pour passer en mode plein écran, cliquez sur Voir > Plein écran.
Pour quitter le mode plein écran, cliquez sur Voir > Plein écran à nouveau ou appuyer F11.
Zoomer et zoomer:
Vous pouvez cliquer sur Voir > Agrandir pour zoomer et Voir > Dézoomer pour zoomer respectivement du terminal.
Le zoom avant peut aider à rendre le texte lisible par le texte, tandis que le zoom arrière peut aider à intégrer plus de texte sur le terminal.
Pour réinitialiser l'affichage du terminal, cliquez sur Voir > Taille normale.
Sélection du texte, de la copie et du collage:
Pour sélectionner tout le texte dans le terminal, cliquez sur Modifier > Tout sélectionner.
Tous les textes doivent être sélectionnés.
Maintenant, pour copier le texte sélectionné, cliquez sur Modifier > Copie ou Modifier > Copier en tant que HTML. La copie comme HTML préservera les couleurs et les paramètres de police où vous le collerez. Sinon, ce sera juste un texte tout à fait.
Vous pouvez également sélectionner un texte spécifique dans le terminal, cliquer avec le bouton droit et le copier.
Pour coller du texte au terminal, cliquez avec le bouton droit sur Sélectionner Pâte.
Configuration du terminal GNOME:
Pour configurer le terminal Gnome, allez à Modifier > Préférences.
À partir d'ici, vous pouvez configurer certains paramètres spécifiques à un profil et un profil de GNOME Terminal.
Configuration globale du terminal GNOME:
Du monde Général onglet, vous pouvez définir s'il faut afficher le menubar par défaut.
Sur le monde Raccourcis onglet, vous avez une liste tous les raccourcis configurés. Si vous voulez être un utilisateur de Power Linux, cela peut être une mine d'or pour vous.
Si vous souhaitez modifier la clé de raccourci de quelque chose, il suffit de double-cliquez dessus et définissez vos nouvelles touches de raccourci.
Configuration du profil de terminal GNOME:
Pour configurer la valeur par défaut Anonyme profil, sélectionnez le profil.
Du Texte onglet, vous pouvez
- changer la taille du terminal
- Définissez les polices personnalisées et modifiez la taille de la police
- changer d'espacement
- Réglez la forme du curseur et configurez-le pour cligner des yeux
- Activer ou désactiver le bip terminal (cloche terminale)
Du Couleurs onglet, vous pouvez,
- Définissez le schéma de couleurs à utiliser pour le texte et l'arrière-plan
- Définir la couleur du texte sélectionné (couleur de surbrillance)
- Définir la couleur du curseur,
- régler la transparence,
- Sélectionnez une palette de couleurs ou définissez votre palette de couleurs personnalisée.
Pour définir un schéma de couleurs et de couleurs de texte personnalisés, ou transparence, décochez Utilisez les couleurs du thème du système.
Maintenant, vous pouvez sélectionner une palette de couleurs parmi l'un des Schémas intégrés.
Vous pouvez également définir des couleurs personnalisées.
Pour définir la transparence, décochez Utilisez la transparence du thème du système et vérifie Utiliser un arrière-plan transparent et ajustez le curseur pour obtenir l'effet souhaité.
Du Défilement onglet, vous pouvez définir s'il faut afficher la barre de défilement, s'il faut faire défiler le terminal lorsque un nouveau contenu est imprimé à l'écran (Faire défiler sur la sortie), le nombre de lignes de sortie au cache (Limitez le dos de défilement à).
Du Commande Onglet, vous pouvez définir ce que vous voulez arriver lorsque vous double-cliquez pour exécuter un script shell.
Du Compatibilité onglet, vous pouvez définir le jeu de caractères ou le codage du terminal.
Création de nouveaux profils terminaux Gnome:
Pour créer un nouveau profil, cliquez sur le + bouton du Profils section.
Tapez un nom pour le nouveau profil et cliquez sur Créer.
Le nouveau profil doit être créé. Maintenant, configurez-le comme vous le souhaitez.
Vous pouvez cloner le profil (Cloner… ), le renommer (Renommer… ), supprime-le (Supprimer… ) ou le définir comme profil par défaut (Définir par défaut) Si vous souhaitez dans le menu déroulant de profil.
Si vous avez plusieurs profils, Gnome Terminal vous permettra d'en choisir un tout en créant un nouvel onglet ou une nouvelle fenêtre.
J'ai créé une nouvelle fenêtre en utilisant le Test profil. Les deux instances de terminal ont un profil différent qui leur est appliqué. Donc, ils ont l'air très différents des autres.
Donc, c'est ainsi que vous utilisez l'application Gnome Terminal. Merci d'avoir lu cet article.