(And I agree that we ought to have something for this kind of thing that's easier than editing /etc/grub.d/10_linux, although it will take some careful design work.)
(And I agree that we ought to have something for this kind of thing that's easier than editing /etc/grub. d/10_linux, although it will take some careful design work.)