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.


grub-customizer - gerenciamento das opções de boot

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?).

Referências

Adicionar comentário

* Campos obrigatórios
5000
Powered by Commentics

Comentários

Nenhum comentário ainda. Seja o primeiro!


Veja a relação completa dos artigos de Rubens Queiroz de Almeida