GNOME »

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.
Save contents — Save Terminal output to a file.
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 ?