Last days I needed to install Linux on a computer having pre-installed Windows. I wasn’t installing Linux next to Windows for many years and the previous time it was a plain PC with BIOS and Windows XP and all went well.
But this time… this time it was a laptop (Lenovo ThinkPad L470) with UEFI (What it’s all about UEFI vs BIOS?) and Windows 10. And this time after installing Linux Mint 18.3 I was surprised to notice that Grub menu is missing Windows entry! And BIOS (UEFI?) option to boot Windows Boot Loader didn’t work. Apparently I was left with no way to boot Windows 10 again.
Solution
In my case it was enough to boot the installed Linux, open a terminal and execute this command:
sudo update-grub
After this, on the next start/reboot of the computer, the Grub menu contained the entry “Windows 10” and Windows was booting correctly when selected. Voila!