Conheça 2 métodos para desabilitar o teclado interno do notebook, deixando apenas o externo (USB, Bluetooth) funcionando.
O primeiro usa o GRUB e o segundo é mais light, como uso do comando xinput.
Tag: grub
Como alterar as cores do texto dos itens de menu de inicialização GRUB 2, no Linux.
Veja como testar facilmente sua configuração antes de alterar os scripts do GRUB.
Saiba como alterar ou criar uma imagem de fundo personalizada para o menu de inicialização GRUB 2, no seu sistema Linux.
Que tal dar um impacto maior ao visual do seu sistema operacional?
Conheça algumas dicas de configuração básicas para começar a personalizar o seu menu GRUB, no Linux.
Como alterar o intervalo de tempo que o menu do GRUB espera você escolher uma de suas opções.
Este guia para a atual versão do Debian, pro Ubuntu e outras distribuições GNU/Linux semelhantes.