Move Ubuntu `/home` partition to another one
August 2, 2020
- Create a new partition in
ext4format - Trasnfer files from old partition to new partition
- Switch over to new partition by editing
/etc/fstab
If you're trying to unmount the partition and it keeps saying it is busy, use the following command to see what's keeping the partition busy
code
lsof | grep/media/tasiomind/Files
in my case it was a bunch of node processes..
Before starting file transfer, close all applications (e.g. Chrome) This will avoid any temporary files changing during the transfer.
I don't usually care about the temp files, but it'll tell you the transferred files are different from the original ones when you check if all files were successfully copied when you use diff
Clear ~/.cache/ and delete node_modules before starting the sync, it'll save you hours.
Start the transfer with
code
sudo rsync -aXS --progress --exclude='/*/.gvfs' /home/. /media/tasiomind/Files/.
aarchive mode (equals-rlptgoD)Xpreserve extended attributesSturn sequences of nulls into sparse blocks
Confirm that all files were copied
code
sudo diff -r /home /media/tasiomind/Files -x ".gvfs/*"
After editing /etc/fstab you can mount new partitions with
code
sudo mount -a