O tamanho da fonte do GRUB pode ser personalizado?

33

Gostaria de reduzir o tamanho da fonte do carregador de inicialização GRUB. É possível e como?

fonts grub2 framebuffer Benjamin
fonte

Respostas:

42

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

  1. Escolha uma fonte, neste exemplo eu escolhi DejaVuSansMono.ttf
  2. Converta a fonte em um formato que o GRUB entenda:
    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. reiniciar.

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

Benjamin
fonte
5
Isso é legal. Com tamanho de 36px, o gerenciador de inicialização finalmente fica bem em uma tela de alta resolução. Funciona também com grub ( grub-mkfont) em vez de grub2.
BurninLeo
4
Obrigado! grub-mkfonte grub-mkconfigno meu caso (embora eu tenha o grub2).
Deleplace
quando tento executar o grub-mkfontcomando, recebo:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
Aaron N. Brock
1
grub-mkfonte sudo update-grubpara mim no Ubuntu. Perfeito para HiDPI / 4k telas
Aidan
1
No sistema UEFI, seria usadogrub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
scrutari 13/03
5

Sim, a fonte e o tamanho da fonte podem ser personalizados. Veja o utilitário grub-mkfont. Fontes de 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.

fpmurphy
fonte
1
Bom, de fato, encontrei esta documentação, mas de alguma forma preciso update-grub, qual comando não pareço ter no Fedora 16 (?).
Benjamin
OK, vejo em outro lugar o equivalente ao update-grub grub2-mkconfig -o /boot/grub2/grub.cfg.
Benjamin
4

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 / default / grub /etc/default/grub.bak
  2. sudo vi / etc / default / grub
  3. Edite a entrada "GRUB_GFXMODE" para se adequar à sua resolução, por exemplo, 800x600
  4. sudo update-grub
  5. Reiniciar - o GRUB será exibido no modo definido, por exemplo, 800x600
arunk
fonte
1
Deveria ser sudo update-grub- pelo menos no meu Ubuntu 17.10.
Alan Mimms
1
Você está certo, é o update-grub. Linha 4 atualizada em conformidade.
Arunk13 /
Isso funciona no nível do grub, mas meu monitor X também tem um tamanho de 800x600, ugh. (Placa de vídeo Intel, driver FBDEV, OpenSUSE Leap 15.0)
David Faure
1

Se você estiver procurando por uma alternativa GUI mais simples, poderá usar o Grub Customiser para alterar o tamanho da fonte, as cores e o plano de fundo do GRUB.

Juan C. Roldán
fonte