GNOME »

Préférences de Terminal

Préférences Générales

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.
Raccourcis clavier — Afficher et modifier les raccourcis clavier.

Gestion des Profils

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

Préférences du profil

Changement du codage des caractères du profil — Sélectionner un codage différent pour chaque profil sauvegardé.
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.
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.
Le caractère parait trop fin — Afficher les caractères de largeur ambigüe en large plutôt que fin.
Palettes de couleur — Changer les couleurs et les arrière-plans.
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.