On Fri, Sep 11, 2009 at 4:43 PM, Pavel Roskin <pro...@gnu.org> wrote: > On Thu, 2009-09-03 at 17:08 +0200, Robert Millan wrote: > >> Pavel, please comment on this when you can. It seems to me that doing it >> in grub-mkconfig would require less ad-hoc code in loadenv.mod and make it >> more efficient. > > I don't see how grub-mkconfig could compensate for a missing feature in > save_env. Perhaps I'm missing the context here.
AFAICT, it's grub.cfg that has to work around using two commands instead of one. Therefore grub-mkconfig has to generate a longer grub.cfg (not sure how this makes grub-mkconfig uglier), but that's an incomplete assessment. There's also a different burden placed on user-edited configs and usage of the grub console, correct? I don't think that the suggestion was meant to save a few bytes in grub-mkconfig. I think it was suggesting a nicer interface for users working in the console. > > -- > Regards, > Pavel Roskin > > > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > http://lists.gnu.org/mailman/listinfo/grub-devel > _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
