On 12/01/2015 04:27 PM, Ranjan Maitra wrote: > On Tue, 1 Dec 2015 16:12:07 +0100 Roberto Ragusa <mail@xxxxxxxxxxxxxxxx> wrote: > No problem. Thank you. this is very helpful. Btw, isn't the recommended way to edit grub by changing /etc/defaults/grub and then running grub-mkconfig or is that for something else? > Yes, in fact I said "/boot/grub/grub.conf should contain", not "edit the file and add". ;-) If you can make it to contain the stuff by using /etc/defaults/grub it's perfect, but I never really understood how that flow is supposed to work, as it seems that installing a new kernel, options are just copied from the existing kernel to the new one. This could be different/fixed in recent Fedora versions... -- Roberto Ragusa mail at robertoragusa.it -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
