Comment 11 for bug 428519

Revision history for this message
brx75 (brx75x) wrote :

Same problem.
To edit grub.cfg you must edit files '/etc/grub.d/' and then run 'grub-mkconfig -o /boot/grub/grub.cfg'