grub-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] allow user-configurable menucolor


From: Yoshinori K. Okuji
Subject: Re: [PATCH] allow user-configurable menucolor
Date: Thu, 3 Jan 2008 00:55:48 +0100
User-agent: KMail/1.9.4

On Wednesday 02 January 2008 22:48, Robert Millan wrote:
> On Tue, Jan 01, 2008 at 06:38:06PM +0100, Robert Millan wrote:
> > `color' command is necessary to propagate user setting from environment
> > variables to the internal color of our current terminal.
>
> Vesa suggested (on IRC) to use write hooks (grub_env_write_hook_t) in
> variables to avoid this.  I tend to agree.  What do others think?

Generally speaking, if you are planning to read settings by scripting, it is 
better to use a variable. If you are planning to change the behavior by 
options, it is better to use a command.

Or, semantically, if you want to make an action, a command is suitable. If you 
want to set a state, a variable is more appropriate.

Anyway, you can accomplish nearly the same thing with both, thanks to the 
hooks, so the choice is mostly a matter of taste.

Personally, I think this should come up with variables. It is just like a 
prompt in bash for me.

Okuji




reply via email to

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