Я читал это:
Set & quot; old & quot; ядро в качестве записи grub по умолчанию
и следуют инструкциям. Но - есть ли способ гарантировать, что я правильно установил настройку GRUB_DEFAULT="1>6", и не делал никаких ошибок в записи меню или что-то еще - без перезагрузки? например, можно ли получить заголовок меню для того, что я выбрал по умолчанию?