Tom H wrote: > If you set "GRUB_DISTRIBUTOR=Fedora" in "/etc/default/grub", you'll > have "Fedora Linux, with Linux ..." in your grub menu. Thanks. I made the change. Next kernel, I will see it in action. This will look much better.