Re: [PATCH] save_env variable_name=value

[Robert Millan]

On Wed, Sep 02, 2009 at 12:01:42PM +0100, Colin Watson wrote:
> This implements saving an environment variable with a given value
> without having to set that variable first, as suggested by Pavel here:
> 
>   http://lists.gnu.org/archive/html/grub-devel/2009-06/msg00190.html
> 
> 2009-09-02  Colin Watson  <address@hidden>
> 
>       * commands/loadenv.c (grub_cmd_save_env): Allow an optional
>       explicit value (`save_env variable_name=value').
>       (GRUB_MOD_INIT (loadenv)): Update save_env summary.

Maybe it is better to handle the extra logic at grub-mkconfig level
(for smaller/faster loadenv code).  Is this feasible?

In any case, this would have to be post-1.97.

-- 
Robert Millan

  The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
  how) you may access your data; but nobody's threatening your freedom: we
  still allow you to remove your data and not access it at all."