GRUB config file: Options separator

[Roman Rakus]

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