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

Ceci est une ancienne révision du document !


Ubuntu : déplacer rapidement le /home

Voici les 4 étapes pour déplacer le /home si vous manquez d’espace ou si vous voulez le déplacer sur un autre disque.

  1. Créer une nouvelle partition, trouver le UUID (Universally Unique Identifier) et modifier FSTAB
  2. Copier l’ancien /home vers le nouveau et vérification
  3. Modifier FSTAB et rebooter
  4. Tester et effacer l’ancien /home

les commandes sont dangereuses, faites une sauvegarde préalable !

Les commandes doivent être exécutées dans un terminal.

Pré-requis

Première étape

  • Créez la nouvelle partition ext4 avec Disk Utility

Autres étapes

  1. Repérez l'UUID de la nouvelle partition :

    ...@...:~$ sudo blkid
    /dev/sda7: UUID="d2ac9a26-c635-4f4a-932d-8b6b3cddd065" TYPE="ext4"

    Copiez la valeur qui se trouve après UUID= et sans les guillemets :

  2. Faites une copie de /etc/fstab :

    ...@...:~$ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)

  3. Éditez avec les droits d'administration le fichier /etc/fstab pour ajouter une ligne à la fin du fichier (remplacez les ??? par votre UUID) :
    /etc/fstab
    UUID=??? /media/home ext4 nodev,nosuid 0 2
  4. Assurez-vous que toutes les partitions sont montées :

    ...@...:~$ sudo mount -a

  5. Copiez l’ancien /home vers le nouveau :

    ...@...:~$ sudo rsync -axS –exclude=’/*/.gvfs’ /home/. /media/home/.

  6. Vérifiez le contenu de l’ancien /home par rapport au nouveau ; la seule différence devrait être /.gvfs exclu de la copie par la commande précédente
  7. Éditez à nouveau avec les droits d'administration le fichier /etc/fstab en supprimant /media pour ne garder que /home :
    /etc/fstab
    UUID=??? /home ext4 nodev,nosuid 0 2
  8. Sauvegardez, quittez l’éditeur et rebootez la machine
  9. Déplacez l’ancien /home :

    ...@...:~$ cd /
    sudo mv /home /old_home
    cd /
    sudo mkdir -p /home

  10. Supprimez l’ancien /home pour ne garder que le nouveau :

    ...@...:~$ cd /
    sudo rm -r /old_home

Pour plus de détails (en anglais) : https://help.ubuntu.com/community/Partitioning/Home/Moving

Conclusion

Problèmes connus

Voir aussi