Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

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 …)

Pré-requis

Première étape : préparer la nouvelle partition

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.

Autres étapes

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

Déplacement du home

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

Attention aux “/” finaux : cela copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition.

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.

Modification du fichier /etc/fstab

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

Démontage et neutralisation de l'ancien home

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).

Ne redémarrez pas Ubuntu avant d'avoir recréé le répertoire /home : le système ne se lancerait pas.

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émarrage

Redémarrez la machine.

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

Cas particulier : si le dossier /home est déjà dans une partition séparée

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.

Dans l'exemple, nous supposons que tout se passe sur le disque /dev/sda.

Nous voulons déplacer la partition /home actuellement sur /dev/sda3 vers une nouvelle partition sur /dev/sda

Duplication du home

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.

Modification du fichier /etc/fstab

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

Démontage et neutralisation de l'ancien home

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

Ne redémarrez pas Ubuntu avant d'avoir recréé le répertoire /home : le système ne se lancerait pas.

Ni avant d'avoir modifié /etc/fstab (conflit entre deux home !)

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émarrage final

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.

Conclusion

Problèmes connus

Voir aussi


Basé sur « Article » par Auteur.