Puis-je changer la police de la console Linux (Ctrl + Alt + F1) en Ubuntu Mono?

38

Est-il possible de définir une police TTF spécifique à utiliser sur la console? (Je pense que vous devrez peut-être le convertir en police bitmap?)

S'il doit être converti, quels outils puis-je utiliser pour effectuer la conversion? Sinon, comment choisir Ubuntu Monospace pour ma police de console?

(La police Ubuntu Monospace est déjà installée à partir de la version bêta de PPA.)

Edit: je suis déjà configuré gnome-terminalpour utiliser Ubuntu Mono . Maintenant, je souhaite définir les écrans de texte intégral que j'obtiens lorsque j'appuie sur Ctrl+ Alt+ F1pour utiliser la même police.

Azendale
la source
Le 11.04 Apparence> Polices> Dernière option, il doit s'agir d'une police Monospace. Ou en utilisant gconf-editor: desktop / interface / monospace_font_name.
Uri Herrera

Réponses:

37

En rejoignant l'équipe de test de polices bêta , les détails PPA indiqués dans l'e-mail d'inscription vous permettent d'activer une archive de paquets personnels contenant:

  • fonts-ubuntu-font-family-console ("Polices de console Linux de la famille de polices Ubuntu, sans-serif monospace")

Après avoir activé le PPA, vous pouvez faire:

  1. Ctrl+ Alt+F1
  2. sudo apt-get install fonts-ubuntu-font-family-console
  3. setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

Notez que l' indication de police permettant la génération d'images bitmap est toujours un travail en cours de Vincent Connare chez Dalton Maag . Veuillez donner votre avis sur l'aspect du rendu 8 × 16 en bitmaps et sur la façon dont ils pourraient être améliorés à:

PPEM signifie "pixel par em" et correspond au nombre de pixels alloués au carré de conception lors du rendu, quelle que soit leur taille. Pour la console Linux / VGA, la hauteur est de 16 pixels. Pour votre question sur les outils impliqués (une fois l’instruction terminée), les outils sont les suivants:

  1. otf2bdf
  2. bdf2psf

Si vous apt-get source ttf-ubuntu-font-familyutilisez Ubuntu 11.10 beta, le code existe déjà dans le debian/console/*répertoire source (tapez-le make). > Ceci a été désactivé pour le moment car les deux petits utilitaires listés ci-dessus sont dans Universe , plutôt que dans le composant principal d'Ubuntu et nécessiteront d'abord les rapports d'inclusion principaux.

Le bug à suivre et à ajouter à vos commentaires est:

En raison des délais extrêmement longs, il est peu probable que cela se produise par défaut avant le prochain cycle de publication d'Ubuntu (après quoi Vincent aura eu la possibilité de modifier progressivement le travail de prédiction aussi!).

sladen
la source
1
Le PPA est-il toujours nécessaire? Je peux installer sudo apt-get install fonts-ubuntu-font-family-consolesans ajouter de PPA dans Ubuntu 15.04. et ça change avec succès sur ma console, quand je tapesudo setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf
rubo77
1
Mais sur ma console 3200x1800px la police est vraiment minuscule, donc comme une police plus grande , je choisirais de setfont /usr/share/consolefonts/Uni3-TerminusBold32x16.psf.gzvoir ma réponse sur resize-font-au-message-de-démarrage-écran-console-et-console
rubo77
1
@ rubo77: setfontne nécessite pas de privilèges plus élevés que l'utilisateur actuellement connecté sur un tty (console virtuelle).
Incnis Mrsi