On 08/15/2017 12:27 PM, Tim wrote:
But you're specifically told not to hand-edit the grub config file, and put your options in the defaults file.
Right, so if you modify the default file, you need to run grub2-mkconfig after.
_______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx