On Wed, 10 Jun 2015 17:12:49 +0000, Andrew Langhorn wrote: > Hi, > > > Is GRUB2_RECORDFAIL_TIMEOUT the only key in the GRUB2_RECORDFAIL family > of configuration options? It appears so. > > > If not, is there a list anywhere? > $ info grub configuration simple -- sktsee