So yesterday I was trying to build an updated ISO for the Community Edition, but apparently ran out of disc space part way through on my root partition.
In response, I booted into the Antergos Live ISO and opened Gparted. From here I shrunk my /Home partition (/dev/sda8) in order to then expand my / partition (/dev/sda7). However, when I try to expand it, I find I cannot. Here’s a screenshot:
This is what is shown when trying to expand my / partition:
So how can I merge my unallocated partition with my / partition? (neither are mounted currently).
Thanks in advance!