* Kynn Jones <kynnjo@gmail.com> [2015-03-09 10:41 -0400]: [...] > I would be thankful for pointers to the relevant docs, or for a recipe > aimed to a grub-noob. Check /etc/default/grub. Run: $ info -f grub -n 'Simple configuration' Elimar -- Alles was viel bedacht wird ist bedenklich!;-) Friedrich Nietzsche