Esta página da comunidade tem muitos detalhes e links. O que você precisa saber é editar /etc/default/grub
e arquivos em /etc/default/grub.d/
, em seguida, executar update-grub
para fazer as alterações ao vivo. Eu não usei boot-repair ainda, mas parece interessante, embora não faça parte de uma instalação padrão do Ubuntu.