J'utilise Ubuntu 12.04. Récemment, la taille de la police pour tous mes ATS est devenue beaucoup plus grande. Comment puis-je rétablir la taille de police par défaut ?
Réponses
Trop de publicités?
Pour ajuster la police/taille de caractères utilisée pour le TTY, exécutez sudo dpkg-reconfigure console-setup qui vous guidera dans les étapes du choix de la police et de la taille de la police :
-
Choisissez la valeur par défaut
UTF-8et appuyez sur Tab pour mettre en évidence OK puis appuyez sur Enter pour passer à l'étape suivante. (Vous pouvez appuyer à nouveau sur cette touche et mettre en surbrillanceCancelpour revenir en arrière.)![enter image description here]()
-
Choisissez la valeur par défaut
Combined - Latin, ...("Latin" comprend l'alphabet anglais) et passez à l'étape 3 :![enter image description here]()
-
Sélectionnez la police de caractères - veillez à lire les notes ci-dessus sur l'effet visuel que peuvent avoir différentes polices de caractères :
![enter image description here]()
-
Sélectionnez la taille de la police :
![enter image description here]()
-
Vous allez maintenant quitter
console-setup; comme le dit le message affiché, les nouveaux paramètres seront effectifs après le redémarrage. Pour les appliquer immédiatement, ouvrez un TTY et exécutezsetupcon.
user73759
Points
33
Puisque les autres réponses n'ont pas fonctionné pour mon écran HiDPI pour augmentation de la taille de la police, après quelques recherches j'ai trouvé https://askubuntu.com/a/1134018/73759 pour fonctionner.
Modifier le fichier /etc/default/console-setup
sudo nano /etc/default/console-setupet changez les valeurs du type et de la taille de la police en
FONTFACE="TER"
FONTSIZE="16x32"Sauvegardez le fichier et appliquez les changements avec
sudo update-initramfs -uAu prochain redémarrage, vous aurez une police de caractères beaucoup plus grande dans votre ATS.
Je sais que ce n'est pas la réponse à la question spécifique ci-dessus, mais le titre dit simplement "changer la taille de la police" et c'est le premier résultat de recherche sur Google, donc j'espère que je peux aider certaines personnes ici.
Serge Stroobandt
Points
3924
Utilisation de GRUB_GFXPAYLOAD_LINUX
Tout d'abord, installez xrandr et l'exécuter :
$ sudo apt-get install xrandr
$ xrandrLes modes d'écran disponibles sont énumérés.
Maintenant, éditez /etc/default/grub :
$ sudo nano /etc/default/grubDans l'hypothèse d'un fichier non édité, effectuez les modifications suivantes :
La variable GRUB_CMDLINE_LINUX_DEFAULT doit contenir au moins nomodeset peut-être en plus de quiet y splash sur les systèmes de bureau.
GRUB_CMDLINE_LINUX_DEFAULT="nomodeset"Sur les systèmes serveurs, décommentez GRUB_TERMINAL=console pour voir plus de messages passant pendant le démarrage avant d'entrer dans la console graphique.
Laissez cette ligne en commentaire :
#GRUB_GFXMODE=640x480À la fin du fichier, ajoutez une ligne :
GRUB_GFXPAYLOAD_LINUX=1280x1024x16ou remplacez la valeur par tout autre mode (séparé par des virgules) qui est pris en charge par votre matériel. Les valeurs text , keep , auto , vga y ask devrait également fonctionner.
Enfin, après avoir enregistré la version modifiée /etc/default/grub con Ctrl + O et en sortant avec Ctrl + X , lancez les commandes suivantes :
$ sudo update-grub
$ sudo rebootCette réponse permet également de diminuer la résolution et/ou la fréquence de rafraîchissement ou la fréquence de la mémoire tampon des images sur les systèmes à fréquence réduite. Les moniteurs CRT présentent généralement des bandes de scintillement lorsque la fréquence de rafraîchissement est trop élevée.
