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

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.

Escolha uma fonte, neste exemplo eu escolhi DejaVuSansMono.ttf
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
Edite o arquivo / etc / default / grub adicionando uma linha:
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
Atualize a configuração do GRUB com:
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
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:

sudo cp -a / etc / default / grub /etc/default/grub.bak
sudo vi / etc / default / grub
Edite a entrada "GRUB_GFXMODE" para se adequar à sua resolução, por exemplo, 800x600
sudo update-grub
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