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

[Craig Sanders]

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

if you mean _$menuentry_id_option_, then that's no more 'stable' than the
indexes.  i.e. they can both change when a menuentry is added or removed.

That's most of the point of this script - so you can list the current
menuentries after update-grub and then run grub-set-default or grub-reboot if
required.

without this script, you have to do something like _egrep 'submenu|menuentry'
/boot/grub/grub.cfg_ and extract the menuentry_id_option or count the menus
and submenus yourself.


    _______________________________________________________

Reply to this item at:

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

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