Comment 7 for bug 872244

Revision history for this message
jox (joxonox) wrote :

@nh2: It might not be in there by default, but it will/should be considered when it's added. E.g. you can add the following to disable the boot menu after a failure:

  GRUB_RECORDFAIL_TIMEOUT=0