For all practical purposes, this is functionally the end to dual boot in GRUB, if there is no work around, e.g. bootnext. Is that the direction GRUB maintainers want to go in?
-- Chris Murphy _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel