Change main partition size to install another distribution
this is the image showing partitions on my hard drive. I am reading linux from scratch and so i need to create a dedicated partition to make my machine. sda1 is alloted to root but it uses only 3.45 GB of about 15 GB. Rest ~ 11GB is free. So, I need to shrink sda1 and make a dedicated partition. This is my only option as only 1 MB is free on the disk and i need approx 3 GB. So, i searched and found this but can i shrink a partition by this method? If not, then please tell how to do that?
Note: I have backed up my files on ubuntu one cloud. So, backup shouldn't be a problem.