* 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