Como escolher o kernel de inicialização padrão do Ubuntu 12.04 com um programa GUI

Question

Existe algum programa Gui como o antigo gerenciador de inicialização para controlar o comportamento padrão do kernel de inicialização no Ubuntu 12.04?

Obrigado.

    

Answer 1

Parece que o Grub Customizer fará o que você quiser. Está disponível através de um PPA:

sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer