Pues eso, que si tras actualizar la versión de grub de nuestro debia, la entrada de Windows10 deja de funcionar, podemos hacer lo siguiente:
-Entramos en línea de comando como superusuario.
-Vemos la lista de particiones para identificar la patición EFI:
#fdisk -l
...
/dev/sda2 1230848 1845247 614400 300M EFI System
...
-Vemos el código UUID de esa partición:
# blkid /dev/sda2
/dev/sda2: LABEL="ESP" UUID="5CDG-R4C72" TYPE="vfat" PARTLABEL="EFI system partition" PARTUUID="313a3cef-7483-43ba-a571-5ecd69c554f1"
-Editamos el fichero vi /etc/grub.d/40_custom, y añadimos al final lo siguiente:
menuentry 'Windows 10' {
search --fs-uuid --no-floppy --set=root 5CDG-R4C72
chainloader (${root})/EFI/Microsoft/Boot/bootmgfw.efi
}
-Actualizamos grub:
update-grub
-Reiniciar y a ver si hay suerte.
Si el sistema no está basado en EFI, hemos de localizar el identificador de la partición asociada al sistema Windows10 y con él añadir en el mismo fichero indicado más arriba lo siguiente:
menuentry "Windows 10" --class windows --class os {
insmod ntfs
search --no-floppy --set=root --fs-uuid CODIGO-UUID-PARTICION-WINDOWS
ntldr /bootmgr
}
Con esto y un bizcocho...