Quelle est la police par défaut grub2?
qu'est-ce que la police par défaut d'ubuntu 12.04 grub2? Je l'ai changé et je ne sais pas ce que c'était de le changer. J'ai essayé beaucoup de polices et de styles différents sans succès.
La police par défaut de grub2 dans 12.04 est unicode.pf2. Vérifiez cette commande
grep -n font /boot/grub/grub.cfg
Il est décrit à la 45ème ligne du fichier grub.cfg. L'emplacement de la police est /usr/share/grub/unicode.pf2.
- Vérifier cette question connexe sur Unix.SE
Mise à jour pour inclure les informations du commentaire de l'OP:
OP a écrit dans un commentaire ultérieur,
Dans Grub Customizer, à droite, il y a un petit signe moins rouge qui supprime la police personnalisée. cliquez dessus et cliquez sur Enregistrer et retournez à la police par défaut
La police grub par défaut ne figure pas dans les options de Grub Customizer.
Mais vous pouvez annuler les modifications que vous avez apportées en cliquant sur le bouton rouge "moins" qui se trouve à côté de l'option de sélection de police dans Grub Customizer.