Limpando o menu do GRUB
A cada atualização do sistema linux – o kernel, neste exemplo – o menu do GRUB (aquele gerenciador de sistemas que aparece no início, ao ligar o PC) vai ficando maior e maior. Uma dica para limpar este menu e ao mesmo tempo deletar kernels antigos seria esse aqui: Na hora do boot, anote os …