Déplacer son « /home »

Les modifications présentées ici ne sont pas triviales. Elles nécessitent un minimum de soin. Afin de palier tout problème, faites une sauvegarde de votre répertoire /home (préférablement sur un support externe, comme un disque dur USB ou un CD-ROM ; ne copiez surtout pas votre /home dans /tmp, ce répertoire temporaire étant vidé à chaque redémarrage de l'ordinateur) avant toute manipulation ! En cas d'erreur, il est possible que vous perdiez l'intégralité de vos fichiers importants et de votre configuration actuelle ; il est donc important d'en conserver une copie accessible à tout moment.

Si vous avez effectué une installation par défaut, votre répertoire /home se trouve sur la même partition que la racine /. Vous ressentez peut-être le besoin de lui dédier sa propre partition ou même pourquoi pas un autre disque dur. La procédure ci-dessous vous permet d'effectuer cette opération.

• Avoir déjà formaté une partition qui contiendra votre home, et bien connaître son nom.

Dans cet exemple, nous utiliserons la partition "sda3". Pensez bien à toujours remplacer sda3 par votre partition réelle !

• Savoir comment démarrer en mode « recovery ».

Ce mode particulier vous donne les droits administrateurs et permet de travailler sans avoir besoin de /home.

Démarrez en mode recovery. Alternative : fermez toutes vos fenêtres, puis dans un terminal, exécutez la commande « sudo telinit 1 ».

Le but est de copier tout ce que vous avez dans /home, dans la nouvelle partition. Pour cela, il faut d'abord "monter" la partition en question :

mkdir /nouveau-home
mount /dev/sda3 /nouveau-home/

Vérifiez que la partition est bien montée, la commande suivante doit vous afficher « /dev/sda3 » sur « /nouveau-home » :

df -h

Il ne reste plus qu'à lancer la copie de fichier :

cp -a /home/. /nouveau-home/

À la fin de la copie, lancez de nouveau la commande :

df -h

L'espace disponible a dû diminuer. Vous pouvez également vérifier que tout a bien été copié, avec une commande du type :

ls -al /nouveau-home/votre_login/

Il faut maintenant indiquer à l'ordinateur qu'à chaque démarrage il faut monter sda3 sur le répertoire /home. Pour cela, nous allons devoir éditer le fichier /etc/fstab. Mais avant nous allons devoir connaitre l'UUID de sda3. Pour cela :

vol_id /dev/sda3

Prenez un papier et un crayon, et notez soigneusement l'uuid que vous renvoie cette commande. Ensuite, éditez le fichier /etc/fstab :

nano /etc/fstab

Et ajoutez une ligne comme ceci :

UUID=a9504f40-83cd-4260-bbf4-646aa304e699      /home     ext3        defaults        0       2

Remplacez bien sûr l'UUID donnée ici en exemple par le votre. De plus, modifiez ext3 par autre chose si votre nouvelle partition n'a pas été formatée en ext3…

Ici, deux cas peuvent se présenter :

• Cas N°1 : Votre ancien /home n'était pas sur une partition séparée. Dans ce cas, enregistrez et quittez le fichier fstab, puis exécutez les deux commandes suivantes :

mv /home /home.bak
mkdir /home

• Cas N°2 : Votre ancien « /home » était sur une partition séparée. Le fichier fstab contient donc une autre ligne avec le paramètre « /home ». Commentez l'ancienne ligne en ajoutant un dièse (#) au début de la ligne, puis enregistrez et quittez.

Vous pouvez maintenant faire un essai en redémarrant l'ordinateur :

reboot

Tout s'est bien passé, reste à faire un peu de ménage en supprimant les fichiers contenus dans l'ancien /home, puisqu'ils ont tous été copiés sur sda3.

• Cas N°1 : Votre ancien « /home » n'était pas sur une partition séparée, vous avez donc créé « /home.bak », que vous pouvez maintenant supprimer en toute sécurité :

rm -rf /home.bak

• Cas N°2 : Votre home était déjà sur une partition séparée : vous pouvez simplement reformater votre partition.

Si vous avez des messages d'erreurs une fois l'ordinateur redémarré en mode graphique, essayez de vous connecter en ligne de commande (Ctrl+Alt+F1) et vérifiez avec la commande suivante que « /dev/sda3 » est bien montée.

df -h

Si ce n'est pas le cas, quelque chose s'est mal passé à l'étape 3. Redémarrez en mode recovery et éditez à nouveau le fichier « /etc/fstab ». Si vraiment vous n'arrivez pas à montez la partition de cette façon, laissez tomber l'UUID et mettez à la place une ligne du genre :

/dev/sda3     /home           ext3        defaults        0       2

Redémarrez et, normalement, cela devrait être bon !

• (fr) Comment déplacer son /home (site du CEP)

Contributeurs : Raphaël Doursenaud, Hoper, Skippy le Grand Gourou.