Déplacer /home vers une autre partition

Tags:

https://help.ubuntu.com/community/Partitioning/Home/Moving

 

  1. conf new new partition
  2. touver l'uuid de cette new partition avec sudo blkid
  3. 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
  1. Use rsync pour copier les données de /home vers /media/home
    sudo rsync -aXS --exclude='/*/.gvfs' /home/. /media/home/.
  2. Check de la copie
  3. Déplacer /home vers /old_home pour éviter de se tromper par la suite
  4. Edit fstab de facon à monter la new partition en /home (à la place de /media/home)
  5. Reboot ou remounter tout. Check du system
  6. Effacer plus tard l'ancien /old_home

 

logo drush