Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Utiliser les polices du système ou choisir une police personnalisée pour votre terminal.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
translate@filorin.fr 2015

# Changer la police et le style

Lorsque vous travaillez sur beaucoup de texte Terminal, vous pouvez modifier la police par défaut selon vos préférences. Vous disposez des options suivantes :

# Police système à chasse fixe

Pour utiliser les polices par défaut du système :

Sélectionnez Édition Préférences du profil Général.

Sélectionner Utiliser la police à chasse fixe du système.

# Définition d'une police personnalisée

Pour définir une taille et une police personnalisées :

Sélectionner Édition Préférences du profil Général.

Assurez-vous que l'option Utiliser la police à chasse fixe du système n'est pas cochée.

Cliquez sur le bouton à coté de Police.

Saisissez le nom de la police désirée dans le champ de recherche ou parcourez la liste des polices.

Faites glisser le curseur qui est en dessous de la liste des polices pour définir la taille de la police. Sinon, vous pouvez saisir la taille de la police dans le champ à côté du curseur, ou cliquer sur + pour augmenter la taille de la police ou - pour diminuer la taille de police sélectionnée.

Cliquez sur Sélectionner pour appliquer vos changements. Pour annuler les changements et revenir dans la fenêtre de dialogue précédente, cliquez sur Annuler.

# Texte gras

Terminal permet au shell de traiter des textes comme l'invite, les noms de répertoire, ou les en-têtes de page « man » (de manuels) pour qu'ils apparaissent en gras.

Allez sur Édition Préférences du profil Général.

Sélectionner Activer le texte en gras.

Activer le texte en gras est une fonctionnalité spécifique du shell. Si vous utilisez un shell autre que Bash,le comportement décrit ne sera peut-être pas le même.