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

- Opérations en bref (cas d'un RPI)

Examinez les partitions :

sudo df -h

On voit que la nouvelle partition a été créée en /dev/sda8 avec le label home.

Créez le répertoire de montage de la nouvelle partition :

sudo mkdir /homenew

Démontez la nouvelle partition et remontez-la sur /homenew :

sudo umount /dev/sda8
sudo mount /dev/sda8 /homenew

Copiez dans /homenew toute l'arborescence de /home en conservant les droits :

sudo cp -rp /home/. /homenew

Rebootez en single user

sudo reboot

Démontez la nouvelle partition pour pouvoir renommer homenew en home -

sudo umount /dev/sda8

Démontez la partition ancienne pour pouvoir renommer home en homeold umount /dev/sda11

  • Renommage du répertoire home en homeOld
mv home homeOld

Renommez du répertoire homenew en home

sudo mv /homenew /home
  • Montage de la nouvelle partition sur home
mount /dev/sda3 /home
  • Montage de la partition ancienne sur homeOld
mount /dev/sda11 /homeOld
  • modification de fstab pour prendre en compte ces modifications.

Pour connaître l'UUID de la partition à utiliser :

sudo blkid

Éditez avec les droits d'administration le fichier /etc/fstab pour le modifier comme ceci :

/etc/fstab
(...)
#	/home (/dev/sda8)
UUID=45700d43-6db7-4b70-8b24-3e72f0b935b9	/home	ext4	defaults	0	1
(...)