Bug#1012838: grub-pc: updating grub-pc in offline mode on reboot does not add other OS entries like Windows 10

[Markus Steinko]

Dear Maintainer,

updating grub or reconfiguring grub-pc did not do the trick in my case.
I had to add "GRUB_DISABLE_OS_PROBER=false" to /etc/default/grub to let 
the update-grub command add the Windows 10 partition.


Best regards,