Ok,
En fait j'ai fait un peu une confusion entre la partition /boot et le bootloader (grub dans mon cas, sur une installation UEFI) : il vaut mieux considérer la partition /boot comme faisant partie de la distro, donc.
Alors pour mon cas, comme j'avais redimensionné la partition /boot de fedora il y a quelques années, car elle devenait trop petite pour garder 2 anciens noyaux (je suis passé je crois de 500 Mo à 2,5 Go, ce qui est largement trop pour le moment), je peux la redimensionner, pour créer une nouvelle partition qui accueillera la /boot de l'installation de debian, qui pourra à terme reprendre toute la place de la /boot de fedora, en fin de migration.
[^] # Re: Debian
Posté par hugotrip . En réponse au message Migration Fedora → Debian. Évalué à 1.
Ok,
En fait j'ai fait un peu une confusion entre la partition /boot et le bootloader (grub dans mon cas, sur une installation UEFI) : il vaut mieux considérer la partition /boot comme faisant partie de la distro, donc.
Alors pour mon cas, comme j'avais redimensionné la partition /boot de fedora il y a quelques années, car elle devenait trop petite pour garder 2 anciens noyaux (je suis passé je crois de 500 Mo à 2,5 Go, ce qui est largement trop pour le moment), je peux la redimensionner, pour créer une nouvelle partition qui accueillera la /boot de l'installation de debian, qui pourra à terme reprendre toute la place de la /boot de fedora, en fin de migration.