Есть ли какая-нибудь программа Gui, например старый менеджер запуска, для управления поведением загрузочного ядра по умолчанию в ubuntu 12.04?
Спасибо.
Похоже, Grub Customizer будет делать то, что вы хотите. Это доступно через PPA:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer