Okay, so, I'm running out of root space (sda3, in fact) and need to expand things. I found Gparted Live, and tried it out. So far, I'm delighted...but (yep, here we go again) paranoid as I am, I'd like to double check before letting that loose on my box.
Anyone had bad experience resizing partitions with Gparted Live?
/dev/sda3 Root file system, getting cramped
/dev/sda4 Home partition, with some 145 Gb left over
The plan: shrink sda4 and move it to the "right" ,the outer/read end of the disk, then expand sda3 to take in the ajacent space...
As I mentioned, this works, but ... well, you know...