Mudar a fonte do grub [RESOLVIDO]

1. Mudar a fonte do grub [RESOLVIDO]

Jhonata wallas Carvalho Silva
barba-barbudo

(usa Debian)

Enviado em 01/09/2021 - 17:02h

Olá gente! já faz um tempo que estou quebrando a cabeça com o grub pois, não consigo construir um menu personalizado. Já li o manual do GNU GRUB Manual 2.06 , lá tem ótimas informações mas não consigo definir as variações nas fontes, por exemplo, Bold 18 para o título e Regular 16 para o menu.
As fontes que estou utilizando o formato ttf que segundo o manual é um dos formatos aceito pelo comando grub-mkfont para converter-lo em pf2.

Depois de fazer a conversão das fontes e coloca-las no diretório onde está o arquivo theme.txt, logo em seguida definir quem é o título, e quem é menu, simplesmente não funciona. ou fica tudo em Bold ou fica tudo em Regular com o mesmo tamanho. Mesmo convertendo com o tamanho pré-definido, mesmo assim, não sai como desejado.

alguem pode me ajudar com esses problemas? já busquei em vários fóruns e não consegui respostas para esse problema. Só não desisti por vergonha kkkk


  


2. MELHOR RESPOSTA

Supervisor dos Moderadores
Buckminster

(usa Debian)

Enviado em 01/09/2021 - 21:02h

Acredito que aqui tu vai encontrar o que tu quer, leia tudo:
https://linuxparamortais.blogspot.com/2018/08/personalizando-o-menu-do-grub-1st-time.html?m=0


________________________________________________
Sanou tua dúvida, resolveu teu problema?
Então marque como Resolvido e escolha a Melhor Resposta.

Ou então execute:
# chown -R root:root /
# mount -o remount,rw /
# reboot

e veja o sistema derreter na sua frente.


3. Re: Mudar a fonte do grub [RESOLVIDO]

Clodoaldo Santos
clodoaldops

(usa Linux Mint)

Enviado em 01/09/2021 - 17:23h

Eu uso grub-customizer







Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts