Ajouter ou déplacer une partition /home, /var ou autre après installation

Il peut arriver d'installer une distribution avec une seule partition (la partition / appelée racine). On souhaiterait séparer le dossier utilisateur /home dans une autre partition. Cet article décrit la création de cette partition et le déplacement des données associées.

Cela fonctionne quelle soit la partition qu'on souhaite ajouter (/var …)

• Installez les paquets gparted,gnome-disk-utility,nautilus-admin ou en ligne de commande :

  $ sudo apt install gparted gnome-disk-utility nautilus-admin

Démarrez le système su un Live CD ou une clé Live USB. Ainsi, les partitions seront inactives.

Lancez l'utilitaire Disques :

1. Cliquez sur les engrenages et sélectionnez Redimensionner …Choisissez une taille laissant assez de place pour la racine :Résultat :
2. Cliquez sur l'espace vide puis sur le bouton + :Choisissez la taille de la nouvelle partition :Nommez-la home, en ext4 :
3. Résultat :

Redémarrez en enlevant le live cd.

Vous avez redémarré en enlevant le live cd.

Ouvrez un terminal (Ctrl+Alt+T).

Créez le répertoire /new.home et montez /dev/sda2 dessus:

$ sudo mkdir /new.home
$ sudo mount /dev/sda2 /new.home/

Recopiez-y le contenu de /home :

$ sudo rsync -avzh /home/ /new.home/
...
sent 1.57M bytes  received 2.48K bytes  3.15M bytes/sec
total size is 4.87M  speedup is 3.09

Attendez que la console redonne la main.

Grâce au -a, les attributs (permissions, liens symboliques etc.) sont conservés.

Vérifiez :

$ ls -la /new.home/
total 28
drwxr-xr-x  4 root root  4096 avril 22 10:43 .
drwxr-xr-x 25 root root  4096 avril 22 12:05 ..
drwx------  2 root root 16384 avril 22 11:38 lost+found
drwxr-xr-x 15 moi  moi   4096 avril 22 12:14 moi

Vous devez avoir un dossier du nom de /(votre_nom) ((votre_nom) — ici, “moi” — étant votre nom de compte), mais pas de dossier /home.

Ouvrez l'utilitaire Disques :Cliquez sur la nouvelle partition (/dev/sda2).

Cliquez sur les engrenages et sélectionnez Modifier les options de montage … :

Choisissez :

1. Désactivez les Réglages par défaut de la session utilisateur
2. S'identifier comme : choisir UUID=…
3. point de montage : /home
4. defaults
5. Type de système de fichiers : ext4
6. Cliquez sur Valider et donnez le mot de passe super-utilisateur

Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :

$ sudo mv /home /old.home
$ sudo mkdir /home

Votre ancien /home est maintenant neutralisé (mais récupérable en cas de besoin).

Le /home vide accueillera le point de montage (il sera reconnu par le système comme un pointage vers votre compte copié sur votre nouvelle partition). Vous avez maintenant un répertoire /mnt/old.home ainsi qu'un répertoire /mnt/home totalement vide, tous deux sur la racine.

Démontez la nouvelle partition et supprimez le répertoire de montage:

$ sudo umount /new.home
$ sudo rmdir /new.home

Redémarrez la machine.

Si tout va bien, supprimez le répertoire /old.home désormais inutile.

Il s'agit de changer de partition le /home qui est déjà sur une partition séparée

Le plus simple est de dupliquer la partition dans un emplacement vide du disque.

Bootez sur une clé USB live pour que les partitions à manipuler soient inactives.

Lancez Gpartedet :

• Libérez de la place pour la nouvelle partition en redimensionnant la partition qui contient /home
• Copiez la partition contenant le répertoire /home.
• Collez la partition dans un espace inoccupé d'une taille au moins équivalente :Cliquez sur Coller :Appliquez toutes les opérations :Cliquez sur Appliquerpuis sur Fermer.
• Modifiez l'UUID de la partition créée pour qu'il n'y ait pas de doublon :Appliquez toutes les opérations :Cliquez sur Appliquer puis sur Fermer

Et voici le résultat :

Redémarrez la machine, retirer la clé et redémarrez normalement.

Ouvrez l'utilitaire Disques :Cliquez sur la nouvelle partition (/dev/sda2).

Cliquez sur les engrenages et sélectionnez Modifier les options de montage … :Choisissez :

1. Désactivez les Réglages par défaut de la session utilisateur
2. S'identifier comme : choisir UUID=…
3. defaults
4. point de montage : /home
5. Type de système de fichiers : ext4
6. Cliquez sur Valider et donnez le mot de passe super-utilisateur

Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :

$ sudo mv /home /old.home
$ sudo mkdir /home

Votre ancien /home est maintenant neutralisé (mais récupérable en cas de besoin).

éditez avec les droits d'administration le fichier /etc/fstab pour commenter ou supprimer la ligne de l'ancien home :

/etc/fstab

...
#UUID=b08fc496-6ef5-4cdc-8029-b0e33a7c2b0c /home ext4 defaults 0 0
UUID=46d2c2ca-26f1-4e09-b2cb-7f72d217d0ce /home ext4 defaults 0 0

Le /home vide accueillera le point de montage (il sera reconnu par le système comme un pointage vers votre compte copié sur votre nouvelle partition). Vous avez maintenant un répertoire /mnt/old.home ainsi qu'un répertoire /mnt/home totalement vide, tous deux sur la racine.

Redémarrez la machine.

Avec l'utilitaire Disques, vous pouvez vérifier que l'ancienne partition n'est pas montée et que c'est la nouvelle qui est active.

Vous pouvez maintenant supprimer l'ancien home.

• (en) http://
• (fr) http://

Basé sur « Article » par Auteur.