Partition, montage

Situation: on a un seul montage sur / et on commence à être limite en place, on veut donc déplacer tout le /home sur une autre partition afin de gagner de la place sur la partition actuel. (Note: vous pouvez faire de même avec /usr, /var, /opt, /lib)

Nous allons faire tout ça à chaud, c’est à dire sans liveCD ou liveUSB mais directement dans notre système d’exploitation.

Avec gparted, créez votre partition et formatez la.

Montez votre nouvelle partition

mkdir /mnt/home
mount /dev/sda6 /mnt/home

Copiez vos données

cp -a /home/ /mnt/home/

Récupérez l’uuid de votre partition

ls -l /dev/disk/by-uuid/ | grep sda6

Modifiez le /etc/fstab et ajoutez votre nouveau point de montage

#/home on /dev/sda6
UUID=79f83f9f-9851-40ee-9b8e-aac91072a868 /home           ext4    errors=remount-ro 0       1

Démontez votre partition

umount /mnt/home
rmdir /mnt/home

Remontez votre partition à partir des infos du /etc/fstab

mount -a

Vérifiez que votre montage est effectif

mount | grep sda6

Vous devriez voir

/dev/sda6 on /home type ext4 (rw,errors=remount-ro)

Une fois votre partition montée sur le /home, il faut supprimer l’ancien contenu du /home

mkdir /mnt/root
mount --bind / /mnt/root
rm -fr /mnt/root/home
umount /mnt/root
rmdir /mnt/root