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 associations@guillaume-bernard.fr 2015-2020 Charles Monzat charles.monzat@free.fr 2020 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 :

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Texte.

Désélectionnez Police personnalisée.
Définition d’une police personnalisée

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

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Texte.

Sélectionnez Police personnalisée.

Cliquez sur le bouton à coté de Police personnalisée.

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.
Espacement des lignes et des caractères

Terminal vous permet de modifier l’espacement des caractères pour une meilleure lisibilité. L’interligne et l’espacement des caractères peuvent être ajustés de 1,0 (aspect normal) à 2,0 (« double espacement »), y compris avec les valeurs fractionnaires intermédiaires.

Cliquez sur le bouton de menu situé dans le coin supérieur droit de la fenêtre, et sélectionnez Préférences.

Dans la barre latérale, choisissez votre profil actuel dans la section Profils.

Sélectionnez Texte.

Accédez au paramètre Espacement des cellules.

Pour définir l’espacement des caractères, ajustez le nombre multiplicateur devant l’élément largeur.

Pour définir l’importance de l’interligne, ajustez le nombre multiplicateur devant l’élément hauteur.