grub: menuentry

 
 16.1.1 menuentry
 ----------------
 
  -- Command: menuentry TITLE [--class=class ...] [--users=users]
           [--unrestricted] [--hotkey=key] [--id=id] [ARG ...] { COMMAND;
           ... }
      This defines a GRUB menu entry named TITLE.  When this entry is
      selected from the menu, GRUB will set the CHOSEN environment
      variable to value of '--id' if '--id' is given, execute the list of
      commands given within braces, and if the last command in the list
      returned successfully and a kernel was loaded it will execute the
      'boot' command.
 
      The '--class' option may be used any number of times to group menu
      entries into classes.  Menu themes may display different classes
      using different styles.
 
      The '--users' option grants specific users access to specific menu
      entries.  ⇒Security.
 
      The '--unrestricted' option grants all users access to specific
      menu entries.  ⇒Security.
 
      The '--hotkey' option associates a hotkey with a menu entry.  KEY
      may be a single letter, or one of the aliases 'backspace', 'tab',
      or 'delete'.
 
      The '--id' may be used to associate unique identifier with a menu
      entry.  ID is string of ASCII aphanumeric characters, underscore
      and hyphen and should not start with a digit.
 
      All other arguments including TITLE are passed as positional
      parameters when list of commands is executed with TITLE always
      assigned to '$1'.