[Linux-31] Win/Linux taille partition boot - Installation plante

[Pascal Hambourg]

jdanield a écrit :
> 
> en principe, il n'est pas nécessaire que la partition efi de linux soit 
> la même que celle de windows, on peut en avoir plusieurs, mais je ne 
> sais pas ce que ca donne en pratique

En pratique, je peux témoigner que :
- ma seule machine UEFI n'y trouve rien à redire et accepte
d'enregistrer et lancer un chargeur situé dans n'importe quelle
partition EFI ;
- mais os-prober, appelé par update-grub pour rechercher les autres
systèmes présents afin de les ajouter au menu de démarrage de GRUB, ne
voit que les chargeurs situés dans la partition montée sur /boot/efi.