* Kynn Jones <kyn...@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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150309150733.ga2...@galadriel.home.lxtec.de