from fedora docs:
"Changes to grub.cfg are enacted by editing etc/default/grub and files in the etc/grub.d directory, particularly 10_linux and 40_custom, and then running the grub2-mkconfig command with root privileges."
BUT 10_linux in /etc/grub.d has no menuentry's, just a lot of coding I don't
understand and looks like it is not intended to be modified by normal users.
I have no trouble modifying /etc/grub.d/40_custom
and getting the changes to appear in grub.cfg
But how to change 10_linux menuentry's?
what am I missing? The documentation above
clearly says /etc/grub.d/10_linux can be edited., but I can't see how.
FWIW, still in f16, xfce
had f17 working for awhile but it got messed up.
now trying to clean up, in preparation for f19
-- 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