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

Déplacer le /home sur une partition dédiée

Ce tutoriel décrit les logiciels à installer et la démarche à suivre pour déplacer le /home sur une partition dédiée.

1. Pré-requis

<note tip>Nous noterons désormais :

  • old la partition /home actuelle à déplacer
  • et new la nouvelle partition

</note>

La procédure de déplacement de la partition /home comporte 4 étapes :

  1. Créer une partition vide avec suffisamment de place pour accueillir le futur /home.
  2. Copier les fichiers de l'ancienne partition vers la nouvelle partition.
  3. Modifier les fichiers de gestion de partition (fstab)
  4. Effacer l'ancienne partition après avoir vérifié que la nouvelle configuration fonctionne correctement.

2. Première étape : créer une nouvelle partition

Repérez les identifiants des partitions (sous la forme /dev/sdX1) en lançant les commandes :

  • sudo df -h
    sudo blkid

Notez l'identifiant de la nouvelle partition pour le home (/dev/sdX1).

<note>La première commande montre les montages en cours, la seconde fournit le détail des infos sur toutes les partitions.</note>

Vous pouvez aussi vous aider des programmes graphiques gparted ou Disques.

Avec gparted, créez une partition vide formatée en ext4 linux qui sera notre nouvelle partition (new).

3. Autres étapes

3.1. Copier les fichiers de l'ancienne partition vers la nouvelle

Créez un répertoire /new pour monter la nouvelle partition :

  • sudo mkdir /new

<note>Le home actuel est déjà monté sur /home</note>

Montez la nouvelle partition dans son répertoire :

  • sudo mount /dev/sdaX1 /new

<note tip>Remplacez /dev/sdaX1 par la valeur repérée à la première étape.</note>

Pour vérifier, lancez :

  • sudo df -h

Copiez tous les fichiers de l'ancienne partition vers la nouvelle en lançant la commande :

  • rsync -axHAXP --delete /home/ /new/

Cela peut prendre du temps : soyez patient !

Il reste à modifier le fichier /etc/fstab de gestion des partitions pour indiquer à ubuntu la nouvelle organisation du disque dur.

3.2. Modifier le fichier /etc/fstab

Récupérez l'UUID de la nouvelle partition :

  • sudo blkid /dev/sdX1

<note>Dans cet exemple, c'est la partition /dev/sdf6, de label Home2 et d'UUID dbc1be40-3a0a-46e2-bab3-1557919fd66d</note>

<note important>Avant toute manipulation du fichier fstab, pensez à le sauvegarder pour pouvoir, le cas échéant, le restaurer</note>

Ouvrez avec les droits d'administration le fichier /new/etc/fstab et remplacez la ligne correspondant à la partition /home :

/dev/mapper/pdc_dgaeeiiah3 /home	ext4    defaults        0       2

par la ligne (mettre l'UUID de la nouvelle partition) :

UUID=dbc1be40-3a0a-46e2-bab3-1557919fd66d /home	ext4    defaults        0       2

Redémarrez la machine et vérifiez par un

sudo df -h

que le /home est maintenant sur la nouvelle partition.

4. Conclusion

5. Problèmes connus

6. Voir aussi


Navigation

éditer cette page