[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] save_env variable_name=value

From: Robert Millan
Subject: Re: [PATCH] save_env variable_name=value
Date: Thu, 3 Sep 2009 16:33:23 +0200
User-agent: Mutt/1.5.18 (2008-05-17)

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:
> 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."

reply via email to

[Prev in Thread] Current Thread [Next in Thread]