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/
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
