Що означає GRUB_DEFAULT = "1> 2"?

На наших Debian-серверах не завантажуватиметься найновіше встановлене ядро, і під час усунення несправностей я натрапив на це:

root@server:~# grep GRUB_DEFAULT /etc/default/grub     
GRUB_DEFAULT="1>2"

Я раніше не бачив цього синтаксису. Хтось знає, що це означає?

З посібника GNU GRUB 2.02: за замовчуванням :

Якщо запис знаходиться у підменю, його слід ідентифікувати, використовуючи число, заголовок або ідентифікатор кожного підменю, починаючи з верхнього рівня, а потім номер, заголовок або ідентифікатор самого меню, з кожним елементом розділено на '>'

Це означає

GRUB_DEFAULT="1>2"

Представляє таку логіку:
Якщо запис 1є підменю, відкрийте його та виберіть 2звідти запис .

Який, швидше за все, розширений підменю, що веде до резервного / резервного копіювання / відновлення ядра.