J'ai trouvé une question sur ce site avec le même titre, mais elle ne m'a pas aidé du tout. Voici mon écran GParted :
J'ai fait de la place pour pop_os, et un swap de 4 Go après lui (en rouge). Cependant, ma partition EFI est trop petite et je ne peux pas la redimensionner à partir de Gparted ou de pop_OS. J'ai lu en ligne qu'il n'est pas conseillé de supprimer la partition réservée à Microsoft, mais que faire d'autre ?
Vous pouvez simplement créer une autre partition EFI pour Pop!_OS. C'est ce que j'ai fait sur mon Lenovo ThinkPad X1 Extreme Gen 2 qui était livré préinstallé avec Windows 10. J'ai simplement redimensionné la partition Windows C pour faire de la place et j'ai créé les partitions /home, /boot/efi, / et swap. Cela a bien fonctionné et je peux toujours démarrer avec Pop!_OS ou Win 10. J'utilise Pop!_OS principalement maintenant, donc par défaut, mais je peux appuyer sur F12 au démarrage pour aller au menu de démarrage EFI et sélectionner Windows 10 si j'en ai besoin pour une raison ou une autre.
J'ai créé une nouvelle partition EFI de 1 Go.
Voici à quoi ressemblent actuellement mes partitions (j'ai récemment effectué quelques changements car je manquais d'espace sur les partitions Linux, j'ai donc redimensionné ma partition Windows et déplacé ma partition /home (c'est pourquoi elle se trouve maintenant devant la partition EFI) :
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
