Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

Police de carcatères par défaut du Terminal?

12 réponses
Avatar
Kevin Denis
Bonjour,

suite à une fausse manip clavier, j'ai du lancer un raccourci.

La police utilisé dans Terminal.app est abominable. J'ai changé par
du Courier 12, mais ce n'est toujours pas satisfaisant. J'ai cliqué sur
Rétablir les paramètres par défaut, mais ça m'a installé Monaco en 10pt
qui ne me semble pas être du tout la police habituelle.

Ma question:
Dans les preferences du Terminal, quelle est la police du mode
Basic?

Merci
--
Kevin

2 réponses

1 2
Avatar
sebastienmarty
Kevin Denis wrote:

Ceci dit, je me rends compte que toutes les polices ne fonctionnent
pas. A priori, je dirais que les polices doivent être à chasse fixe.
Quelle est la liste des polices à chasse fixe sous Mac?



Regarde dans "Livre des polices"

--
[SbM]
<http://sebastienmarty.free.fr> - <http://tradintosh.free.fr>
<http://sbm.ordinotheque.free.fr> - <http://palmiciel.free.fr>
"If the French were really intelligent, they'd speak English" (W. Sheed)
Avatar
Éric Lévénez
Kevin Denis a écrit :

Ceci dit, je me rends compte que toutes les polices ne fonctionnent
pas. A priori, je dirais que les polices doivent être à chasse fixe.



Oui, bien sûr, c'est le principe même des terminaux.

Quelle est la liste des polices à chasse fixe sous Mac?



Tu n'as ni l'aide en ligne, ni accès à Google ?

Tu lances le Livre de polices et tu regardes les "Largeur fixe".

--
Éric Lévénez -- <http://www.levenez.com/>
Unix is not only an OS, it's a way of life.
1 2