Hot answers tagged windows
It turns out that I needed to run the following: sudo update-grub This updated my /boot/grub/grub.cfg file and got rid of the windows 7 option.
Grub's menu comes from a configuration file, not by scanning hardware. However, the configuration file can be created by scanning hardware, which you would want to do after you've changed partitions around. The command to do this is either grub-mkconfig (Debian derived) or grub2-mkconfig (Fedora derived). I presume Mint would be the former but in any ...
Only top voted, non community-wiki answers of a minimum length are eligible