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?).
This policy contains information about your privacy. By posting, you are declaring that you understand this policy:
This policy is subject to change at any time and without notice.
These terms and conditions contain rules about posting comments. By submitting a comment, you are declaring that you agree with these rules:
Failure to comply with these rules may result in being banned from submitting further comments.
These terms and conditions are subject to change at any time and without notice.
Comentários