Wiki de Djan GICQUELPartionement GNU/Linux sur une machine en UEFI
Mis à jour le vendredi 9 avril 2021
Pour installer sur un pc UEFI utiliser un partitionnement personnalisé.
J’utilise ces paramètres que je pense à peu prêt optimal.
| Point de montage | Format | Taille |
|---|---|---|
| / | ext4 | entre 10 et 15 go |
| /boot | FAT32, Partition EFI [1] | 100mo |
| /swap | swap | 4go maximum [2] |
| /home | ext4 | taille au choix |
Pour le chargeur d’amorçage choisir la partition EFI et pas le disque entier.
[1] Pendant l’installation, choisir la partition FAT32 et la configurer en type "EFI"
[2] si besoin d’hibernation seulement