Hey Andreas,
"Assigning a numeric value to default directly works fine here"
In the meantime I had the same idea and it works fine.
Thank you,
Joachim
Am 02.05.2012 19:18, schrieb Andreas Born:
- Ursprüngliche Mitteilung -
Sorry,
the source code examples I've sent are from grub.cfg an
- Ursprüngliche Mitteilung -
> Sorry,
> the source code examples I've sent are from grub.cfg and not from
> 00_header - in 00_header a $ needs to be escaped with \
>
> Greetings
> Joachim
>
> Am 02.05.2012 15:12, schrieb Joachim Mammele:
> > Hi everybody,
> >
> > I'd like to add a valu
Sorry,
the source code examples I've sent are from grub.cfg and not from
00_header - in 00_header a $ needs to be escaped with \
Greetings
Joachim
Am 02.05.2012 15:12, schrieb Joachim Mammele:
Hi everybody,
I'd like to add a value to a user variable in 00_header but I get the
error "not an
Hi everybody,
I'd like to add a value to a user variable in 00_header but I get the
error "not an assignment".
but if I echo directly the value everything works fine.
What can I do? How can I use a variable my_variable? Is there another
way to check for different values of \$? ?
Any help w
