Вы также можете захотеть получить настройщик Grub от Daniel Richter. Это очень удобная небольшая программа, которая позволяет указать, какое ядро вы хотите загружать по умолчанию. Это графический интерфейс, который позволяет вам настраивать настройки и записи grub.
Вы можете легко получить
Откройте терминал и запустите следующие команды
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Думаю, вам это понравится