-
Ubuntu Mono de la famille de polices Ubuntu ( font.ubuntu.com ) est la police de terminal monospace par défaut de l'interface graphique sur Ubuntu 11.10.
-
Police Terminus ( 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 pour le menu du chargeur de démarrage du CD, le chargeur de démarrage Grub et l'installateur alternatif (basé sur le texte) lorsqu'un framebuffer logiciel est utilisé. (Unifont est la police de secours à couverture totale).
Détails techniques
La police de caractères de l'interface graphique est définie, pour Ubuntu, dans le fichier ubuntu-artwork
par un paramètre par défaut dans /usr/share/glib-2.0/schemas/ubuntu-artwork.gschema.override
. La modification a été apportée en Bug #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é ou modifié) avec :
$ gsettings get org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13'
La configuration des polices de la console Linux Terminal est un peu plus complexe ; il y a un nombre limité d'emplacements disponibles pour les caractères sur le framebuffer, de sorte que le meilleur sous-ensemble est sélectionné au moment de l'installation du paquet par le code dans le fichier /var/lib/dpkg/info/console-setup.config
le résultat étant stocké dans /etc/default/console-setup
.
Comme le note @Chen Xiao-Long, les sous-ensembles de polices de la console sont construits à partir d'une myriade de polices bitmap provenant de différents endroits ; ces polices sont entièrement documentées dans le document /usr/share/doc/console-setup/copyright.fonts.gz
. Lorsque le travail d'adaptation dans Ubuntu Mono atteindra un niveau suffisamment élevé, il sera alors possible d'exporter des bitmaps à partir d'Ubuntu Mono. Bug #724022 du moins pour les zones où nous avons une couverture.