[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] save_env variable_name=value
From: |
address@hidden |
Subject: |
Re: [PATCH] save_env variable_name=value |
Date: |
Sat, 12 Sep 2009 09:54:28 -0500 |
On Fri, Sep 11, 2009 at 4:43 PM, Pavel Roskin <address@hidden> 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
> address@hidden
> http://lists.gnu.org/mailman/listinfo/grub-devel
>
- [PATCH] save_env variable_name=value, Colin Watson, 2009/09/02
- Re: [PATCH] save_env variable_name=value, Robert Millan, 2009/09/03
- Re: [PATCH] save_env variable_name=value, Colin Watson, 2009/09/03
- Re: [PATCH] save_env variable_name=value, Robert Millan, 2009/09/03
- Re: [PATCH] save_env variable_name=value, Pavel Roskin, 2009/09/11
- Re: [PATCH] save_env variable_name=value, Robert Millan, 2009/09/12
- Re: [PATCH] save_env variable_name=value, Colin Watson, 2009/09/12
- Re: [PATCH] save_env variable_name=value,
address@hidden <=
- Re: [PATCH] save_env variable_name=value, Pavel Roskin, 2009/09/13