I want to increase the size of /home because its running out of space.
/home is at the end and its inside
/dev/sda4 and there is no unallocated space available.
Kindly take a look at the below gparted screenshot.
Since you have enough space in the root (
/) partition, I would merge
/. Then optionally delete the extended partition completely and extend the combined root partition to utilize the free space. This operation will be most likely faster than resizing a partition at the end of the disk.
Before you proceed, I recommend making a backup, preferably the complete disk using Clonezilla.
Then follow these instructions (from an answer by htorque):
- Boot the live CD/USB.
- Mount the root partition to
- Mount the home partition to
Copy the data using
sudo rsync -avz --hard-links --numeric-ids /mnt/oldhome/ /mnt/root/home
/mnt/root/etc/fstaband delete the entry for your home partition.
- Unmount the root and home partition and reboot the system. If everything works as expected you can reboot again into the live system and then:
- Open GParted.
- Delete the old home partition, resize the root partition.
Is keeping a separate /home not recommended?
It’s just a matter of taste. Having all data in one partition avoids the problem of having one full partition and another almost empty, like in your case. On the other hand, a separate
/home partition is good for backup and reinstallation.
My suggestion (using
/dev/sda3by, let's say, 50 Gb. You have more than that free, so the exact number is not important.
/dev/sda4to the left by the same amount.
/dev/sda5to the left (as
/dev/sda4is an extended partition, moving its boundaries does not move the "inner" partitions)
/dev/sda5to the desired size.
Actually, it may be possible to do the last two steps in one go. I am not sure about that.
This will require physically moving large numbers of blocks, so it will be a lengthy process.