Azure, он называется "Ubuntu, with Linux-5.3.0-28-generic".
Я попробовал написать
GRUB_DEFAULT="1>2"
там нумерация с 0, а он 3-й по порядку, но тоже не помогло, но когда в прошлый раз помогло, то, вроде бы было именно так.
Пользователь добавил сообщение 27 Апреля 2020, 15:20:57:
Наоборот, с GRUB_DEFAULT="1>2" именно всё получилось, я ошибочно не на то нажал, так что вопрос решён,
хотя и не совсем так, как я ожидал. Я почему-то думал, что появится отдельный пункт, а теперь просто
отметка устанавливается на том пункте, который нужен и надо два раза нажать на Enter.
Благодарю всех за внимание.