Uma solução fácil seria instalar grub-customizer
. É uma ferramenta GUI que permite alterar várias opções do GRUB, como a ordem de entrada / nomes / subentrições do menu de inicialização, a entrada de inicialização padrão, a hora em que aparece, cor ou imagem de fundo, face e cor da fonte, etc ...
Para instalar, você executa os seguintes comandos (um por um):
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
# next command updates your current software (not necessary, but recommended):
sudo apt-get upgrade
sudo apt-get install grub-customizer
Para executá-lo, vá até o traço, digite grub
e clique no ícone a seguir: