Bug#887483: please consider giving help to find out MENU ENTRY ids

[Marc Haber]

Package: grub-common
Version: 2.02-2
Severity: wishlist
Tags: upstream

Hi,

this is most probably an upstream request, but I didn't find a bug
tracker upstream, so I'd appreciate a pointer, or you to report this
issue upstream.

grub-reboot, grub-set-default and probably other tools want a MENU ENTRY
option on their command line. This is "a number, a menu item title or a
menu item identifier".

It would be great to have a tool that outputs this information, like
1: 'Debian GNU/Linux' gnulinux-simple-db577615-c7d6-41d7-97fc-b2a491316fb5
2: 'Advanced options for Debian GNU/Linux' gnulinux-advanced-db577615-c7d6-41d7-97fc-b2a491316fb5
2>1: 'Debian GNU/Linux, with Linux 4.14.13-zgws1' gnulinux-4.14.13-zgws1-advanced-db577615-c7d6-41d7-97fc-b2a491316fb5
2>2: 'Debian GNU/Linux, with Linux 4.14.12-zgws1' gnulinux-4.14.12-zgws1-advanced-db577615-c7d6-41d7-97fc-b2a491316fb5
2>3: 'Debian GNU/Linux, with Linux 4.14.0-3-amd64' gnulinux-4.14.0-3-amd64-advanced-db577615-c7d6-41d7-97fc-b2a491316fb5

so that one can more easily call up grub-reboot and/or grub-set-default.

Since the grub-script-check tool needs to parse the config file anyway,
giving it a --boot-id option that displays only the menuentry and the
submenu lines together with the (correct) numbering should be rather
easy.

Greetings
Marc