Ceci est une ancienne révision du document !
Table des matières
Partitionnement
Un bon partitionnement se fait avant de commencer.
Attention aux installeurs automatiques assistés qui proposent d'effacer tout le disque mais qui ne proposent pas de créer une partition /home séparée.
- La partition root doit se trouver sur un disque SSD.
- La partition /home peut se trouver sur un HDD
- La partition /swap est mieux sur un HDD (problème de durée de vie du SSD en nombre d'écriture)
- Les partitions /var /bin et /usr peuvent se trouver sur un HDD
Partitionnement recommandé
sda1 fat32 300~500 Mo boot-efi si UEFI OU sda1 non formaté 8Mo boot-grub si BIOS sda2 ext4 30~60 Go / sda3 ext4 xxGo /home sda4 linuxswap (RAM) Go swap
En cas de Dual Boot
Un disque ne supporte que 4 partitions primaires.
Si Dual Boot (plusieurs linux ou Linux + Windows), il faut créer des partitions étendues et des sous-partitions logiques.
Exemple :
sda1 : étendue sda5 = boot uefi sda6 = swap sda2 : étendue sda7 = Debian sda8 = Manjaro sda3 : primaire = fichiers /home sda4 : primaire = Windows
Il est recommandé de réinstaller Windows et de le cantonner sur une partition dédiée plutôt que d'utiliser un disque sur lequel Windows est déjà présent car il prend toutes les partitions à lui tout seul (attention, Windows Boot Manager passera avant Grub dans le BIOS : nécessité de reconfigurer)
