Post #3625022

Apparently, the easy way is to install Grub Customizer, but I don’t like PPAs so I disabled the OS Prober instead. The partition is still there but at least I don’t see the grub entry.