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