De acordo com as Leis 12.965/2014 e 13.709/2018, que regulam o uso da Internet e o tratamento de dados pessoais no Brasil, ao me inscrever na newsletter do portal DICAS-L, autorizo o envio de notificações por e-mail ou outros meios e declaro estar ciente e concordar com seus Termos de Uso e Política de Privacidade.
Colaboração: Rubens Queiroz de Almeida
Data de Publicação: 04 de outubro de 2016
As opções de configuração do menu de boot com o GRUB nem sempre são muito fáceis de entender. Para nos ajudar nesta tarefa, podemos usar o aplicativo grub-customizer, criado por Daniel Richter.
Para instalar o aplicativo, siga os seguintes passos:
$ sudo add-apt-repository ppa:danielrichter2007/grub-customizer $ sudo apt-get update $ sudo apt-get install grub-customizer
Ao invocarmos o programa, aparece a tela principal, que lista os sistemas identificados:
No meu caso, eu queria esconder o menu do Grub, visto que eu só tenho um sistema em meu computador, o LinuxMint 18, Sarah. O menu realmente não é necessário e desperdiça alguns segundos preciosos durante o boot. Para desativar o menu do Grub, eu selecionei a aba "Configurações gerais", e desmarquei as opções "mostrar menu" e "procurar por outros sistemas operacionais" (é claro, não?).