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
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