Comment appelle-t-on la police par défaut de la console Debian / Ubuntu (TTY)?

45

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?

Andrew Gunnerson
la source
1
Quelle version d'Ubuntu? 11.10 est livré avec une variante monospace de la police Ubuntu, mais je serais surpris que Debian l'utilise.
Michael Martin-Smucker

Réponses:

59
  • 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.

sladen
la source
Merci beaucoup! C'était exactement ce que je cherchais (en particulier la section "Détails techniques"): D
Andrew Gunnerson
1
J'ai été en mesure de changer la taille de la police de mon tty1-6 en configurant: / etc / default / console-setup, qui fonctionne bien pour la mise en miroir d'un terminal depuis mon ordinateur portable et d'un téléviseur grand écran.
Aaron Hall
Il y a plus d'une douzaine de polices Terminus sur une installation Debian standard. Il serait très utile de savoir lequel est exactement celui par défaut. (surtout depuis que j'ai changé de police mais que je ne la retrouve plus)
rien333
6

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."

bioShark
la source
3
Oui, Ubuntu Mono ( font.ubuntu.com ) est la police de terminaux monospace à interface graphique par défaut sur Ubuntu 11.10. Les /bin/setfont /usr/share/consolefonts/FOO.psf.gzpolices de la console Linux (Ctrl-Alt-F1, ) sont Terminus ( terminus-font.sourceforge.net )
sladen
@bioShark: Merci pour votre réponse, mais ce que sladen a posté est ce que je cherchais :)
Andrew Gunnerson
@sladen: Si vous publiez une réponse plutôt qu'un commentaire, je l'accepterai.
Andrew Gunnerson
@sladen Excellentes informations sur Terminus
bioShark le
@sladen: En fait, après avoir examiné le code source du paquet contenant les polices ( console-setup), seules certaines des polices sont Terminus. Selon mon /etc/default/console-setupfichier, la police par défaut est Fixed16, qui est faite à partir georgian16.bdf, unifont.bdf+h16.bdf, etl16-unicode.bdf. Savez-vous d'où viennent ceux-ci? Merci!
Andrew Gunnerson
4

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)

gardien
la source
peut-être aussi Uni3-Fixed16.psf.gz, je ne vois aucune différence entre Uni2 et Uni3 .
Crysman
0

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;)

g0to
la source
0

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

David Refaeli
la source
0

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.

Aaryash Raj Sinha
la source