Voici les 4 étapes pour déplacer le /home si vous manquez d’espace ou si vous voulez le déplacer sur un autre disque.
les commandes sont dangereuses, faites une sauvegarde préalable !
Les commandes doivent être exécutées dans un terminal.
...@...:~$ sudo blkid /dev/sda7: UUID="d2ac9a26-c635-4f4a-932d-8b6b3cddd065" TYPE="ext4"
Copiez la valeur qui se trouve après UUID= et sans les guillemets :
...@...:~$ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)
UUID=??? /media/home ext4 nodev,nosuid 0 2
...@...:~$ sudo mount -a
...@...:~$ sudo rsync -axS –exclude=’/*/.gvfs’ /home/. /media/home/.
/.gvfs est exclu de la copie
...@...:~$ sudo diff -r /home /media/home -x ".gvfs/*"
UUID=??? /home ext4 nodev,nosuid 0 2
...@...:~$ cd / ...@...:~$ sudo mv /home /old_home ...@...:~$ sudo mkdir -p /home
cd / nous amène au répertoire racine, hors du home pour pouvoir utiliser la commande sudo mv pour renommer /home en /old_home, et créer un nouvel espace réservé vide /home.
...@...:~$ cd / ...@...:~$ sudo rm -rI /old_home
Pour plus de détails (en anglais) : https://help.ubuntu.com/community/Partitioning/Home/Moving