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
