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 appartenant à la famille de polices Ubuntu ( font.ubuntu.com ) est la police de terminaux monospace à interface graphique par défaut sous 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 ( nifoundry.com ) est la police par défaut du menu du chargeur de démarrage du CD, du chargeur de démarrage Grub et de la police de remplacement (texte). basé) où un framebuffer 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 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 n ° 86501 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 dans /var/lib/dpkg/info/console-setup.config avec 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 qu'il sera possible d'exporter des bitmaps exportés à partir d'Ubuntu Mono, voir Bug # 724022 , au 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 comprendre la réponse correcte pour Xubuntu 14.04 en ATS (mode texte uniquement, pas de X), c'est celui-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 la version GNU sous licence) 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;)
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 Polices Ajustées. Ici, vous pouvez modifier la police que vous souhaitez utiliser.
Mais si vous souhaitez utiliser une police personnalisée, téléchargez-la (Ubuntu Normal de préférence) puis procédez comme suit Autres emplacements -> Ordinateur -> usr -> partage -> polices.
Collez votre police personnalisée dans le dossier polices et vous obtiendrez maintenant une option permettant de sélectionner votre police personnalisée dans l'outil Tweak de polices.
2) Si vous souhaitez réinitialiser la police du terminal avec celle par défaut, CONSOLAS REGULAR est la police que vous devez télécharger, puis 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.
Dans mon Ubuntu 16.04, il s'agit de "Ubuntu Mono Regular", taille de police 13.