Hi,
see my justification here: http://savannah.gnu.org/bugs/?38308
-Ulf
Am 16.02.2013 03:50, schrieb Wang
Weber:
Hi,
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:
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
empty.
if [ x"${feature_menuentry_id}" = xy ]; then
...
if [ "${prev_saved_entry}" ]; then
set saved_entry="${prev_saved_entry}"
fi
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
...
|