On 15/08/15 14:11, Hendrik Boom wrote:
Easy enough to edit /boot/grub/grub.cfg.
Or do I really have to edit other files that this is made from? I
remember there was some complication there with Debian's grub2.
/etc/default/grub is the file you need to edit followed by running
'update-grub'
--
Daniel Reurich
Centurion Computer Technology (2005) Ltd.
021 797 722
_______________________________________________
Dng mailing list
Dng@lists.dyne.org
https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng