Linux: Déplacer le répertoire /home sur sa propre partition

Le temps passe et on accumule une quantité de fichiers impressionnante dans son répertoire personnel. C’est le moment de déplacer son dossier /home sur une autre partition. Il est facile d’utiliser une autre partition sur le même disque ou d’ajouter tout ou partie d’un nouveau disque dur pour gagner de l’espace.

Préparer la nouvelle partition

Note: On ne le répétera jamais assez de faire une sauvegarde des données avant de jouer avec les tables de partitions.

Pour faire simple (surtout par flemme), j’ai choisi d’installer Gparted pour partitionner un nouveau disque dur:

$ sudo apt-get install gparted

et de l’utiliser:

$ gksudo gparted

pour faire une nouvelle partition et la formater.

Déplacer son répertoire /home

On quitte la session Gnome (ou KDE, …), on appuie sur Alt + F1 et on se loggue en root.

Et on déplace, on créé un point de montage, on monte et on copie nos fichiers:

# mv /home /home.bak
# mkdir /home
# mount -t ext4 /dev/sdb1 /home
# cp -a /home.bak/* /home

On oubliera pas de changer ext4 et /dev/sdb1 selon la situation.

Monter cette partition au démarrage

On modifie le fichier /etc/fstab pour y ajouter les infos de notre partition:

/dev/sdb1    /home    ext4    defaults,errors=remount-ro    0    1

Plus qu’à redémarrer pour voir que tout fonctionne correctement.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *