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

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 c'est du BIOS, il faut créer des partitions étendues et des sous-partitions logiques.

Exemple :

sda1 : boot uefi
sda2 : étendue
  sda5 = Debian
  sda6 = Manjaro
  sda7 = swap
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)

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/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

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