[bug #39306] Contrib: grub-list-kernels.pl script

[Craig Sanders]

Follow-up Comment #4, bug #39306 (project grub):

BTW, looking at various grub.cfg files on my own systems, it looks like it's
only the 10_linux, 20_linux_xen, and 30_uefi-firmware scripts that generate a
$menuentry_id_option for each menuentry.

Other grub.d scripts (e.g. 30_os-prober, 20_ipxe, and others) don't generate
them.

Since they're optional, it doesn't seem possible to rely on them being
present.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?39306>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/