Préférences

Préférences

Pour configurer Terminal, choisissez EditerPréférences... dans le menu principal ou cliquez-droit dans la partie de terminal de la fenêtre et choisissez Préférences... dans le menu contextuel. Ceci fera apparaître la fenêtre Préférences de Terminal qui vous permettra de le configurer à votre guise.

Général

Préférences générales
Titre initial

Inscrivez dans cette case le texte à utiliser pour le titre de chaque nouveau terminal.

Titre modifié dynamiquement

Utilisez cette liste déroulante pour définir le comportement des titres modifiés dynamiquement, c'est-à-dire les titres prenant le nom de la commande exécutée dans la fenêtre ou l'onglet du terminal.

Exécutez la commande en tant que shell de connexion

Sélectionnez cette option pour forcer Terminal à exécuter votre shell en tant que shell de connexion lors d'ouvertures de nouveaux terminaux. Veuillez vous référer à la documentation de votre shell pour de plus amples informations à ce sujet.

Actualiser les registres utmp/wtmp à l'exécution d'une commande

Sélectionnez cette option pour insérer une nouvelle entrée dans les registres utmp et wtmp à l'ouverture d'un nouveau terminal.

Défilement sur la sortie

Sélectionnez cette option pour activer le défilement automatique du contenu de la fenêtre à la sortie d'une commande.

Défilement sur pression d'une touche

Sélectionnez cette option pour vous permettre de presser une touche du clavier pour revenir automatiquement à la ligne de commande. Cette action implique que vous ayez fait défiler le contenu de la fenêtre de terminal vers le haut et vous voulez revenir à la ligne de commande.

La barre de défilement est

Utilisez cette liste déroulante pour définir la position de la barre de défilement dans la fenêtre de terminal.

Lignes d'historique

Utilisez cette case pour définir le nombre de lignes dont la fenêtre ou l'onglet de terminal doit se souvenir. Vous pouvez faire défiler cette historique au moyen de la roulette de la souris ou la barre de défilement. Par exemple, si vous spécifiez un historique de 1000 lignes, il vous sera possible de faire défiler les 1000 dernières lignes de commandes du terminal.

Aspect

Préférences de l'aspect
Police d'écriture

Cliquez sur le bouton pour sélectionner le type de police d'écriture pour le terminal.

Cochez la case Active l'anti-crénelage pour la police du terminal si vous voulez que Terminal utilise l'anti-crénelage de la police d'écriture des terminaux. Désactiver cette option peut accélérer drastiquement le rendu à l'écran et réduire la charge sur des systèmes moins récents.

L'option Autorise les textes en gras permet d'afficher du texte en gras de certaines applications lancées depuis le terminal. Le texte s'affiche normalement si la case n'est pas cochée.

Arrière-plan

Pour sélectionner un arrière-plan à la fenêtre de terminal, les possibilités suivantes vous sont offertes :

  • Aucun (utiliser une couleur unie)

    Sélectionnez cette option pour afficher la couleur d'arrière-plan du terminal définie dans la section Couleurs.

  • Image d'arrière-plan

    Sélectionnez cette option pour afficher une image d'arrière-plan dans le terminal. Utilisez la case Fichier pour spécifier le nom de l'image et son emplacement ou utilisez le bouton à côté de la case pour chercher et sélectionner l'image.

    L'option de Style permet à Terminal d'afficher l'image d'arrière-plan en mosaïque, centré, à l'échelle ou réduit.

  • Arrière-plan transparent

    Sélectionnez cette option pour afficher un arrière-plan transparent.

Si vous avez opté pour une Image d'arrière-plan ou un Arrière-plan transparent, vous pouvez utiliser la barre de défilement Assombrir l'image ou la transparence d'arrière-plan pour assombrir ou éclairer l'arrière-plan du terminal.

Afficher la barre de menu dans les nouvelles fenêtres

Cochez cette case pour afficher le menu dans les nouvelles fenêtres de terminal par défaut.

Afficher la barre d'outils dans les nouvelles fenêtres

Cochez cette case pour afficher la barre d'outils dans les nouvelles fenêtres de terminal par défaut.

Afficher les bords de la fenêtre

Cochez cette case pour afficher les décorations des nouvelles fenêtres de terminal par défaut.

Couleurs

Préférences des couleurs
Premier et arrière plans

Les deux boutons Couleur du texte et du curseur définissent respectivement la couleur utilisée par Terminal pour afficher le texte dans le terminal et celle du curseur. Toute application s'exécutant dans le terminal peut faire usage de différentes couleurs dans la palette de couleurs en-dessous pour afficher du texte.

Cliquez sur le bouton Couleur d'arrière-plan pour définir la couleur de l'arrière-plan de la fenêtre de terminal. Cette couleur est aussi utilisée pour tinter l'arrière-plan lorsque l'option Arrière-plan transparent ou Image d'arrière-plan ont été choisis.

Sélection de texte

Sélectionnez cette option pour définir une couleur personnalisée pour le texte sélectionné dans une fenêtre de terminal ou utiliser la couleur par défaut.

Palette

Le terminal met à disposition une palette de 16 couleurs pour les applications. Ces couleurs peuvent être personnalisées avec leurs boutons respectifs.

Raccourcis

Préférences des raccourcis
Raccourcis clavier

La section Raccourcis clavier des préférences liste les raccourcis clavier définis pour chaque élément du menu. Les raccourcis clavier sont un moyen rapide d'accéder à un élément du menu sans recourir à la souris. Un raccourci clavier peut être n'importe quelle touche, modificateur ou combinaison des deux. Un modificateur serait la touche Alt ou Ctrl par exemple.

Composer le raccourci

Pour changer un raccourci clavier d'un élément du menu, double cliquez l'élément dans la liste et pressez la touche ou combinaison de touches que vous voulez lui attribuer. Pour annuler un raccourci, double cliquez sur l'élément dans la liste et cliquez sur le bouton Effacer.

Désactiver les touches d'accès des menus (comme Alt+f)

Sélectionnez cette option pour désactiver les raccourcis claviers vous permettant d'accéder aux menus sans l'aide de la souris. Les touches de raccourci sont remarquables par un soulignement d'une lettre dans un nom de menu ou élément de ce dernier. Certains raccourcis nécessitent une combinaison avec un modificateur comme Alt par exemple.

Désactiver les raccourcis clavier des menus (F10 par défaut)

Sélectionnez cette option pour désactiver la touche de raccourci pour accéder au menus de Terminal. La touche par défaut est F10.

Avancé

Préférences avancées
La touche Retour arrière émet

Utilisez la liste déroulante pour sélectionner la fonction que vous voulez assigner à la touche Retour arrière.

La touche Supprime émet

Utilisez la liste déroulante pour sélectionner la fonction que vous voulez assigner à la touche Supprime.

Paramètres de $TERM

Ceci définit la valeur de la variable d'environnement $TERM lorsqu'une nouvelle fenêtre de terminal est ouverte. La valeur par défaut devrait s'appliquer à la plupart des systèmes. Si rencontrez des problèmes avec les couleurs dans certaines applications ou si vous pensez qu'une application ne s'exécute pas comme il faudrait, changez la variable en xterm-color.

Réinitialiser les options de compatibilité aux valeurs par défaut

Cliquez sur ce bouton pour réinitialiser les options de la section Compatibilité à leurs valeurs initiales.

Double clic

Utilisez ce champ de texte pour spécifier les caractères ou groupes de caractères que Terminal doit considérer comme faisant partie d'un mot.