Comment 22 for bug 656631

Revision history for this message
Michal (mikeos) wrote :

Remember to call "sudo update-grub" after making modifications in /etc/default/grub. The update-grub script assures that /boot/grub/grub.cfg is updated with the new information. I assume you're using GRUB2.