Hi all,
I have just a question about separator of commands in grub config file:
Looking on manual [1]; Options are separated by spaces. However, the `=' is also working. Can we consider it as a bug? Or undocumented feature? Are there any other possible separators?
For example:
default 1
default=1

Both are correctly parsed.

And moreover, is it possible (acceptable) to change `default' from number-ordered to label-ordered? This is how is yaboot working and I think it is better. Every entry in menu has its label (unique?) and it is faster to be label oriented than counting the entries. What do you think about it?

[1] http://www.gnu.org/software/grub/manual/html_node/Menu_002dspecific-commands.html#Menu_002dspecific-commands

Please keep me in CC:, I'm not subscribed to the list.

RR

_______________________________________________
Help-grub mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-grub

Reply via email to