Has anyone ever used gparted (or any other program) to shrink an existing ext4 partition? All the documentation online is for enlarging them. I had to use a large HDD temporarily for a system build because the SSD was dying. Now that I have a new SSD I tried using clonezilla to clone it back, but of course it complains the drive is too big... the system only uses about 8 gigsso there's technically plenty of room, I just dn't feel like doing this manually. Anyone have any hints/suggestions? -Yaron --