-
Ubuntu Mono de la famille de polices Ubuntu ( font.ubuntu.com ) est la police par défaut du terminal monospace par interface graphique. Ubuntu 11.10.
-
Terminus Font ( terminus-font.sourceforge.net ) est la police par défaut de la console Linux (< kbd> 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 de CD, le chargeur de démarrage Grub, et installateur alternatif (basé sur du texte) où un tampon d'image est utilisé. (Unifont est une police de secours complète).
Détails techniques
La police GUI est définie pour Ubuntu dans le package ubuntu-artwork
par un paramètre par défaut dans /usr/share/glib-2.0/schemas/ubuntu-artwork.gschema.override
. La modification a été effectuée dans 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 des consoles Linux Terminal est légèrement plus complexe. Il existe un nombre limité de logements disponibles pour les caractères dans le tampon d'image, de sorte que le meilleur sous-ensemble est sélectionné lors de l'installation du package par le code /var/lib/dpkg/info/console-setup.config
avec le résultat stocké dans /etc/default/console-setup
.
En tant que @Chen Xiao-Long, les sous-ensembles de polices de la console sont constitués d'une multitude 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 suggestion dans Ubuntu Mono atteint un niveau suffisamment élevé, il sera possible d’exporter des bitmaps à partir d’Ubuntu Mono, voir Bogue n ° 724022 , du moins pour les zones où nous avons une couverture.