* Kynn Jones <[email protected]> [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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]
