How do I resize the partition of a Ubuntu-server?
Solution 1:
I think you will have to use resize2fs.
You will have to:
1. boot from a livecd,
2. then set the partiotion as ext2,
3. and run something like resize2fs /dev/sda1 8000M.
Here is a more extensive step by step instructions.