57
modifications
« Debian & UEFI » : différence entre les versions
Aller à la navigation
Aller à la recherche
→Debian déjà installé
| Ligne 39 : | Ligne 39 : | ||
Il faut obligatoirement utiliser une table de partition GPT, si elle est déjà en MBR vous pouvez essayer de la convertir avec gdisk (à vos risques et périls car je n'ai pas testé cette solution) | Il faut obligatoirement utiliser une table de partition GPT, si elle est déjà en MBR vous pouvez essayer de la convertir avec gdisk (à vos risques et périls car je n'ai pas testé cette solution) | ||
*Utiliser une | *Utiliser une liveCD pour faire une peu de place sur le disque. | ||
*créer une nouvelle partition (1Mio devrait suffire mais attention en cas de multi-boot) | *créer une nouvelle partition (1Mio devrait suffire mais attention en cas de multi-boot) | ||
*formatez-la en FAT et montez là sur /boot/efi (/boot/efi n'existe pas, créez-le auparavant) et montez la de façon permanente via le fstab | *formatez-la en FAT et montez là sur /boot/efi (/boot/efi n'existe pas, créez-le auparavant) et montez la de façon permanente via le fstab | ||