Comment appelle-t-on 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 téléscripteur, une bonne police de caractères est très importante!

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

• Ubuntu Mono de la famille de polices Ubuntu ( font.ubuntu.com ) est la police de terminaux monospace à interface graphique par défaut sur Ubuntu 11.10.
• Terminus Font ( terminus-font.sourceforge.net ) est la police par défaut de la console Linux ( Ctrl+Alt+F1, $ /bin/setfont /usr/share/consolefonts/FOO.psf.gz)
• GNU Unifont ( unifoundry.com ) est la police par défaut du menu du chargeur de démarrage du CD, du chargeur de démarrage Grub et du programme d'installation alternatif (à base de texte) dans lequel un tampon de mémoire logiciel est utilisé. (Unifont est une police de secours à couverture complète).

Détails techniques

La police de l'interface graphique est définie, pour Ubuntu, dans le ubuntu-artworkpackage par un paramètre par défaut dans /usr/share/glib-2.0/schemas/ubuntu-artwork.gschema.override. Le changement a été effectué dans le bogue n ° 865013 sur

2011-10-04 pour Ubuntu 11.10. Il est possible d'interroger la valeur de ce paramètre (l'utilisateur peut l'avoir remplacée ou modifiée) avec:

• $ gsettings get org.gnome.desktop.interface monospace-font-name
'Ubuntu Mono 13'

La configuration des polices des consoles Linux Terminal est légèrement plus complexe. il y a un nombre limité d'emplacements disponibles pour les caractères sur le framebuffer, ainsi le meilleur sous-ensemble est sélectionné au moment de l'installation du paquet par le code /var/lib/dpkg/info/console-setup.configavec le résultat stocké dans /etc/default/console-setup.

Comme @Chen Xiao-Long le note, les sous-ensembles de polices de la console sont construits à partir d’une myriade de polices bitmap provenant de différents endroits; ceux-ci sont entièrement documentés dans /usr/share/doc/console-setup/copyright.fonts.gz. Lorsque le travail de repère dans Ubuntu Mono atteint un niveau suffisamment élevé, nous espérons pouvoir exporter des images bitmap exportées à partir d'Ubuntu Mono (voir bogue n ° 724022) , du moins pour les zones couvertes.

C'est ce que j'ai trouvé dans un autre post:

"Ubuntu Monospace est livré préinstallé avec Ubuntu 11.10 et il s’agit de la police de terminal par défaut."

Eh bien, je viens de trouver la bonne réponse pour Xubuntu 14.04 en mode ATS (mode texte uniquement, pas de X), c’est celle-ci:/usr/share/consolefonts/Uni2-Fixed16.psf.gz

J'ai comparé la console par défaut (CTRL-ALT-F1) à la console modifiée (CTRL-ALT-F2), où j'ai traversé:

for i in /usr/share/consolefonts/Uni*; do setfont "$i"; ls -l /proc/; echo -e "\nINFO: currently set font: $i"; sleep 2; clear; done

(Les polices Unicode m'intéressaient uniquement)

Vous pouvez essayer la version True Type (et sous licence GNU) de Fixed Sys .

Ce n'est pas parfaitement égal, mais c'est la version la plus fidèle que j'ai trouvée. Jetez un coup d'oeil et profitez-en;)

Dans mon Ubuntu 16.04, il s'agit de "Ubuntu Mono Regular", taille de police 13.

J'ai eu un problème où les polices dans chaque application, y compris le navigateur Firefox, dans mon Kali, ont changé après avoir 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 tout le système (autre que le terminal) , recherchez l’outil de réglage des polices. Ici, vous pouvez modifier la 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) puis procédez comme suit Autres emplacements -> Ordinateur -> usr -> partage -> polices .

Collez votre police personnalisée dans le dossier des polices et vous obtiendrez maintenant une option permettant de sélectionner votre police personnalisée dans l'outil Polices à ajuster.

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

J'ai essayé beaucoup de polices, mais rien ne va si bien comme cette police par défaut.