Déplacer /home vers une autre partition
https://help.ubuntu.com/community/Partitioning/Home/Moving
- conf new new partition
-
touver l'uuid de cette new partition avec
-
Backup et modif de fstab (mount new partition en /media/home) et reboot.
sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)
pour comparer :cmp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)
# (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /media/home ext3 defaults 0 2
sudo mkdir /media/home
sudo mount -a
-
Use rsync pour copier les données de /home vers /media/home
sudo rsync -aXS --exclude='/*/.gvfs' /home/. /media/home/.
- Check de la copie
- Déplacer /home vers /old_home pour éviter de se tromper par la suite
- Edit fstab de facon à monter la new partition en /home (à la place de /media/home)
- Reboot ou remounter tout. Check du system
- Effacer plus tard l'ancien /old_home