If I was you, I'd first go get an external disk and make a backup of the whole thing. I never heard of a guy who regretted he had backups! Of course, you already might have a backup.

After that, I'd shrink another ext4 partition with more free space and then grow /. You can do so using e.g.

http://gparted.org/livecd.php

Reply via email to