grub: Menu-specific commands
16.1 The list of commands for the menu only
===========================================
The semantics used in parsing the configuration file are the following:
* The files _must_ be in plain-text format.
* '#' at the beginning of a line in a configuration file means it is
only a comment.
* Options are separated by spaces.
* All numbers can be either decimal or hexadecimal. A hexadecimal
number must be preceded by '0x', and is case-insensitive.
These commands can only be used in the menu:
Menu