[Top][All Lists]

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

Re: How to remove variable from GRUB environment block

From: Ulf Zibis
Subject: Re: How to remove variable from GRUB environment block
Date: Sat, 16 Feb 2013 18:08:18 +0100
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130107 Thunderbird/17.0.2


see my justification here:


Am 16.02.2013 03:50, schrieb Wang Weber:

Why do you want to remove the variable instead of just setting it to empty?

2013/2/13 Ulf Zibis <address@hidden>
Am 12.02.2013 16:21, schrieb Andrey Borzenkov:
В Tue, 12 Feb 2013 14:57:53 +0100
Ulf Zibis <address@hidden> пишет:

I'm not clearly sure, but I see different syntax in my grub.cfg, which I interpret as "test for existence":
No. Both just test whether result of variable substitution is empty or
not. It is empty if variable is not defined or if it is defined but

if [ x"${feature_menuentry_id}" = xy ]; then

if [ "${prev_saved_entry}" ]; then
    set saved_entry="${prev_saved_entry}"

Thanks for your clarification! But wouldn't this be a nice feature to have both?

I still bother what the difference is with the above syntax. Is there a syntax tutorial somewhere?

I guess, the following third syntax is redundantly the same:

if [ ! "${feature_menuentry_id}" = "" ]; then


Help-grub mailing list

reply via email to

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