[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] save_env variable_name=value
From: |
Colin Watson |
Subject: |
Re: [PATCH] save_env variable_name=value |
Date: |
Thu, 3 Sep 2009 15:52:43 +0100 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Thu, Sep 03, 2009 at 04:33:23PM +0200, Robert Millan wrote:
> On Wed, Sep 02, 2009 at 12:01:42PM +0100, Colin Watson wrote:
> > 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?
It's feasible either way; I just did this because Pavel seemed to prefer
it ...
--
Colin Watson address@hidden
- [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 <=
- 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, 2009/09/12
- Re: [PATCH] save_env variable_name=value, Pavel Roskin, 2009/09/13