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

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.

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