Outils pour utilisateurs

Outils du site


wiki:linux:partitionnement

Ceci est une ancienne révision du document !


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 et /tmp peuvent se trouver sur un HDD (nombreuses écritures)

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)

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)

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/sdb1 on /mnt/hometmp type ext4 (rw)

Copier les données du répertoire home vers le répertoire temporaire de la nouvelle partition

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

Éditer le fichier fstab :

nano -w /mnt/etc/fstab

Ajouter la ligne :

# Partition /home
/dev/sda3       /home   ext4    defaults        0 2

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.

Voir ici pour les commandes

wiki/linux/partitionnement.1738939283.txt.gz · Dernière modification : de mael