Hello,
et merci beaucoup pour ce tuto: ça m'a plus qu'aidé pour réussir une installation hier, dont je vais narrer rapidement les petites différences aujourd'hui avec il y a un an.
Il s'agit d'une installation en dual-boot, W7 / Mint Cinammon.
Les étapes dans ses grandes lignes: rien d'original en soit: installation de W7 suivie de l'installation de Mint. Les deux installations sont faites sur un même disque, en UEFI. Le disque est neuf, non partitionné, non formaté. A la fin, chaque système a sa partition.
Remarque: dans cette machine se trouvera ensuite un second disque dur, pour le stockage et Co, qui est laissé débranché durant les installations des systèmes, de façon à éviter l'éparpillement des partitions système. Classique.
Entrée dans le bios UEFI:
pour l'instant, je ne touche à rien. Boot sécurisé, « mode UEFI Windows ».
Je constate que pour mon lecteur DVD, que je mets en premier pour le boot, il n'y a plus d'option UEFI ou non, comme auparavant, et donc je laisse comme ça.
Installation de W7:
Je lance l'installation de W7 => Options de lecteurs avancés.
Pour le partitionnement, je constate qu'il suffit alors de définir la partition pour windows (en ce qui me concerne, en NTFS), et automatiquement, les deux partitions cachées sont créées automatiquement.
La partition EFI fait 100Mo, la partiton MSR en fait 128.
Par défaut, pour les nouvelles installations, le programme d'installation de Windows crée une partition système EFI (Extensible Firmware Interface System Partition ou ESP), une partition MSR (Microsoft® Reserved Partition) et une partition Windows principale.
Puis installation tranquille.
Plus d'infos ? => https://lecrabeinfo....-mode-uefi.html
Retour dans le bios UEFI:
Je ne touche à presque rien: je laisse le boot sécurisé, mais cette fois, je change l'option comme indiqué par Darksky: il faut remplacer le « mode UEFI Windows » par « autres SE ». That's all.
Installation de Mint:
Je lance l'installation en choisissant de définir moi-même le partitionnement, et je suis scrupuleusement le tuto de Darksky pour les points de montage:
une partition pour Linux, montée à /
une partition swap
/boot/EFI comme point de montage pour la partititon EFI
et roule ma poule.
Bonne nouvelle: grub n'est pas cassé, donc le dual-boot est accessible dès le redémarrage. Sans doute une amélioration des installations Linux depuis un an. (?)
Tout s'est impeccablement bien passé, encore une fois, merci Darksy pour ce tuto.