Go to page content
Go to main menu
Go to the search field

Aide de Terminal

Introduction — Découvrir l’émulateur de terminal GNOME.

Présentation d’un terminal — Qu’est-ce qu’un terminal ?

Premier pas

Exécuter une commande — Lancer des programmes ou exécuter des commandes en utilisant Terminal.

Utilisation des onglets — Activer, ajouter, supprimer et réorganiser les onglets de Terminal.

Travail sur du texte

Copier et coller — Copier et coller du texte dans Terminal.

Hyperliens et adresses de courriel — Ouvrir les liens vers des adresses Web et courriel.

Recherche du texte — Effectuer une recherche dans la sortie de Terminal.

Sélection de texte — Sélectionner des mots ou des lignes dans le terminal.

Personnalisation de l’apparence

Changer la police et le style — Utiliser les polices du système ou choisir une police personnalisée pour votre terminal.

Changer le curseur — Sélectionner un style de curseur différent.

Fenêtres et onglets — Choisir l’ouverture par défaut d’une nouvelle fenêtre ou d’un nouvel onglet.

Palettes de couleur — Changer les couleurs et les arrière-plans.

Session plein écran — Activer le mode plein écran.

Tailles de Terminal — Changer la taille de la fenêtre de Terminal.

Zoom avant et zoom arrière — Augmenter ou réduire la taille du texte.

Personnalisation du comportement

Accessibilité du clavier — Naviguer à travers les menus de Terminal en utilisant les touches du clavier.

Affichage de la barre de menus — Afficher et masquer la barre de menus.

Définition du comportement à la fin de la commande — Définir le comportement de Terminal quand une commande personnalisée ou le shell par défaut se termine.

Désactivation de la saisie utilisateur — Ne pas envoyer de saisie utilisateur à l’application en cours dans le terminal.

Gestion des profils — Créer, renommer et supprimer des profils.

Préférences de la barre de défilement — Modifier le défilement de l’affichage et le comportement de la barre de défilement.

Réglage du « bip » — Activer la notification sonore dans Terminal.

Shells de connexion — Démarrer un shell de connexion dans Terminal.

Shells et commandes personnalisés — Régler Terminal pour exécuter une commande ou un autre shell au démarrage.

Paramètres avancés

Changement du codage des caractères du profil — Sélectionner un codage différent pour chaque profil sauvegardé.

Le caractère parait trop fin — Afficher les caractères de largeur ambigüe en large plutôt que fin.

Raccourcis Clavier — Afficher et modifier les raccourcis clavier.

Dépannage

Réinitialisation de l’état de Terminal — Comment retrouver l’écran normal de Terminal s’il lui arrive de geler ou d’afficher plein de symboles bizarres ?

Un commentaire à faire ? Une erreur à signaler ? Des instructions à améliorer ? Faites part de votre avis sur cette page.