O tamanho da fonte do GRUB pode ser personalizado?

Question

Eu gostaria de reduzir o tamanho da fonte do gerenciador de boot GRUB. É possível e então como?

    

Answer 1

Após algumas pesquisas baseadas nas respostas de @fpmurphy e @hesse, também baseadas em um abrangente tópico em ubuntuforums e no Fedora Wiki , descobri como reduzir o tamanho da fonte do GRUB2.

1. Escolha uma fonte, neste exemplo, escolhi DejaVuSansMono.ttf
2. Converta a fonte em um formato que o GRUB entende:
   sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
3. Edite o arquivo / etc / default / grub adicionando uma linha:
   GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
4. Atualize a configuração do GRUB com:% sudo grub2-mkconfig -o /boot/grub2/grub.cfg
5. reinicializar.

A resolução da exibição do GRUB também pode afetar o tamanho da fonte, mais a resolução, etc., no link do ubuntuforums acima.

    

Answer 2

Sim, tanto a fonte quanto o tamanho da fonte podem ser personalizados. Veja o utilitário grub-mkfont. As fontes Bitmap (.pf2) e Truetype (.ttf) são suportadas.

Basta fazer uma pesquisa na Internet no grub-mkfont e você encontrará rapidamente vários exemplos das etapas necessárias.

    

Answer 3

No Debian / Ubuntu você pode alterar a resolução padrão do GRUB, resultando em fontes maiores no menu do GRUB:

1. sudo cp -a /etc/standard/grub/etc/default/grub.bak
2. sudo vi / etc / default / grub
3. Edite a entrada "GRUB_GFXMODE" para se adequar à sua resolução. 800 x 600
4. sudo update-grub
5. Reinicializar - o GRUB será exibido no modo que você definir, 800 x 600