Différences

Ci-dessous, les différences entre deux révisions de la page.

--- wiki:linux:partitionnement [2025/02/07 13:47] – [Déplacer la partition /home] mael
+++ wiki:linux:partitionnement [2025/06/03 11:49] (Version actuelle) – [En cas de Dual Boot] mael
@@ Ligne 8: / Ligne 8: @@
   * 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
+  * Les partitions /var et /tmp peuvent se trouver sur un HDD (nombreuses écritures)
 Partitionnement recommandé
@@ Ligne 20: / Ligne 20: @@
 ===== En cas de Dual Boot =====
-Un disque ne supporte que 4 partitions primaires.
+Un disque msdos (mbr) ne supporte que 4 partitions primaires. S'il est possible de le remettre à zéro (tout effacer), privilégier un formatage GPT, plus moderne, qui accepte davantage de partition (mais attention, l'ordi doit booter en UEFI et non pas en BIOS)
-Si Dual Boot (plusieurs linux ou Linux + Windows), il faut créer des partitions étendues et des sous-partitions logiques.
+Si c'est du BIOS, il faut créer des partitions étendues et des sous-partitions logiques.
 Exemple :
-  sda1 : étendue
+  sda1 : boot uefi
-    sda5 = boot uefi
-    sda6 = swap
   sda2 : étendue
-    sda7 = Debian
+    sda5 = Debian
-    sda8 = Manjaro
+    sda6 = Manjaro
+    sda7 = swap
   sda3 : primaire = fichiers /home
   sda4 : primaire = Windows
@@ Ligne 40: / Ligne 39: @@
 ===== Déplacer la partition /home =====
+Si besoin, exporter ses données sur un disque externe afin de laisser entre 40 et 60Go sur la partition. Ne pastoucher aux répertoires de personnalisation (ceux qui sont masqués et qui commencent par un point .local .config et cetera)
-==== Créer ou déplacer la partition SWAP ====
+Depuis un livecd, utiliser GParted pour réduire la partition root à 40Go ou 60Go selon la quantité de logiciels utilisés
+Créer une nouvelle partition ext4 avec pour point de montage /home
+Démarrer l'ordi avec son système en dur.
+Copier (pas couper) les fichiers du répertoire home sur la nouvelle partition ext4, y compris les répertoires cachés (cela peut prendre du temps) Ajouter au besoin les fichiers volumineux copiés sur le disque externe à l'étape 1 - pas d'urgence
+Dans cet exemple :
+  * sda1 = boot
+  * sda2 = Linux
+  * sda3 = future home
+Ouvrir le terminal en mode super utilisateur :
+  su -
+Monter la racine :
+  mount /dev/sda2 /mnt
+Mettre la partition home dans un répertoire temporaire
+  mkdir /mnt/hometmp
+  mount /dev/sda3 /mnt/hometmp
+Vérifier
+  mount | grep hometmp
+On doit obtenir ''/dev/sda3 on /mnt/hometmp type ext4 (rw)''
+Copier les données du répertoire home vers le répertoire temporaire de la nouvelle partition
+  (debian)  cp -a /mnt/home/ /mnt/hometmp/
+  (manjaro) rsync -avzh /mnt/home/ /mnt/hometmp/
+Comparer les deux dossiers :
+  du -s /mnt/home
+  du -s /mnt/hometmp
+Copier l'ancien fichier fstab (au cas où) :
+  cp -p /mnt/etc/fstab /mnt/etc/fstab.old
+Trouver le numéro UUID de la nouvelle partition home :
+  blkid | grep sda3
+Éditer le fichier fstab :
+  nano -w /mnt/etc/fstab
+Ajouter la ligne :
+  # Partition /home
+  /dev/sda3       /home   ext4    defaults        0 2
+Ou bien noter le numéro UUID à la place de /dev/sda3 (c'est mieux)
+''ctrl+s ctrl+x''
+Démonter la home temporaire :
+  umount /mnt/hometmp
+Supprimer la home temporaire :
+  rm -rf /mnt/home/*
+Démonter le point de montage temporaire (la commande ne doit rien renvoyer) :
+  mount | grep hometmp
+Supprimer le point de montage temporaire :
+  rm -r /mnt/hometmp
+Redémarrer
+===== Créer ou déplacer la partition SWAP =====
+Cela peut se faire avec Gparted ou Kparted
+Nécessité d'utiliser la commande ''swapon'' pour intégrer ce changement dans le fichier système.
+[[wiki:linux:swap|Voir ici pour les commandes]]