Yes, your /home folders are on the 5.4Gb / partition, along with everything else.
Originally Posted by mrtn474
I'm not aware of a gui function that will take the contents of /home, put it on a new partition then mount that partition as /home. One option is to scrap your installation and reinstall, selecting /dev/sda5 for the /home mount point.
Also, if you fiddle about with /home when you are logged in to a gui desktop, you can get into difficulties because the desktop has files open in /home. Make sure you have a good backup of home before doing anything else.
However, if the terminal is not too scary for you, then the steps are fairly straight forward, and will save quite a bit of time. However, if you mess up, you might have difficulty logging in to your system, so it is a good idea to have a live CD or usb available in case of need.
I realise that this is the Absolute Beginner Talk forum, so you might find this daunting, in which case I suggest the reinstall option.
These instructions are correct if you don't have an encrypted home. If you do have an encrypted home, then I don't know what impact this has.
# This is a temporary place to mount the new partition, so we can check that it is empty and copy the current /home to it.
# edit /etc/fstab and add a line to mount the new partition
sudo mkdir /media/newhome
# we will change this line later.
/dev/sda5 /media/newhome ext4 defaults 0 2
# Can we see the new 25GB partition mounted as /media/newhome and virtually empty?
sudo mount /media/newhome
# If all looks good, then logout of GUI, and use Ctrl+Alt+F1 to get a terminal session.
ls -l /media/newhome
# Login to the terminal.
# We take this approach to copy and rename so that it is easier to recover if things go wrong.
# Take extra care from here because getting it wrong will mean you can't login or maybe boot.
# Note that if you forget to rename /home and recreate it, then the rest will work, but you won't be able to reclaim the space used by your old home.
# edit /etc/fstab and change the line we last added to:
sudo cp -rp /home/* /media/newhome
sudo mv home oldhome
sudo mkdir home
# reboot with
/dev/sda5 /home ext4 defaults 0 2
# If it reboots OK and all looks good, then tidy up
sudo shutdown -r now
sudo rmdir /media/newhome
sudo rm -rf /oldhome
# See what the disk space situation is now