I’m using a dual boot machine: Fedora 31 and Windows 7. Today I’ve tried to upgrade Win7 to Win10, but it failed (not as smooth as a Fedora upgrade… but what can you expect). The system reverted to Win7. It doesn’t matter, I’ll probably do a clean install of Win10 on the partition Win7 used to be. However, the problem is that now my grub menu is gone. My PC boots directly to Win7.
So my question is this: After I’m installing a fresh Win10 over Win7, what should I do to get my old grub-menu back, so that I can log in to Fedora again?
P.S. I am using my Windows boot for gaming, and Linux for the rest.