On Wed, Feb 6, 2013 at 11:27 AM, Felix Miata <[email protected]> wrote: > There's nothing particularly simple about messing with /etc/default/grub
So do not mess with it. You are not forced to use it. _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
