47 votes

Quel est le nom de la police par défaut de la console Debian/Ubuntu (TTY) ?

J'utilise actuellement Ubuntu et quelques autres distributions Linux sur mon ordinateur et comme j'utilise beaucoup le TTY, une bonne police de caractères est très importante !

Quelqu'un connaît-il le nom de la police console/TTY par défaut utilisée dans Ubuntu et Debian ?

0voto

Paul Syfrett Points 398

J'ai eu un problème où les polices dans toutes les applications, y compris le navigateur Firefox, dans mon Kali, ont changé après que j'ai installé un fichier (je ne sais pas comment il a changé).

Il n'y avait pas de vidéo/réponse parfaite qui montrait comment réinitialiser les polices.

1) Pour changer les polices dans l'ensemble du système (autre que le terminal) , recherchez l'outil Fonts tweak. Ici, vous pouvez modifier n'importe quelle police que vous souhaitez utiliser.

Mais si vous souhaitez utiliser une police personnalisée, téléchargez une police personnalisée (Ubuntu Regular de préférence) Ensuite, procédez comme suit Autres emplacements -> Ordinateur -> usr -> share -> fonts .

Collez votre police personnalisée dans le champ polices de caractères et vous aurez maintenant la possibilité de sélectionner votre police personnalisée dans l'outil Fonts Tweak.

2) Si vous souhaitez réinitialiser la police du terminal avec la police par défaut, CONSOLAS RÉGULIER est la police que vous devez télécharger, et répéter la partie 1 de cette réponse.

J'ai essayé beaucoup de polices mais rien ne convient aussi bien que cette police par défaut.

0voto

Ernado Points 199

La police de terminal par défaut dans Ubuntu (19.04, etc...) est nommée DejaVuSansMono et se trouve dans :

/usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X