Dat is exact wat ik bedoel; kon even niet meer op de juiste benaming komen..... . Zo heb ik het destijds ook gedaan en het werkt perfect.
Alleen jammer dat dit niet hetgeen is wat de topic starter vroeg of wilde.
Dus ontopic ?
Zoals hierboven al aangegeven er zijn 2 mogelijkheden, minimaal....
1. Je formateerd die partitie naar ext3 met Gparted.
En vervolgens kan je die vrijgekomen partitie mounten aan een map waar je ruimte tekort komt.
Dit is wat ze in de linux wereld noemen The dirty way.
Omdat je die partitie mount aan een map word de ruimte gewoon doorzichtig gebruikt in Ubuntu.
Echter je moet hier later wel rekening mee houden vermits je je systeem waar gaan veranderen anders ben je data kwijt.
2. Je maakt die partitie leeg met Gparted, en indien hij achter de juiste partitie staat die je grote wilt maken kan je hem erbij trekken, dus bij de bestaande partitie.
Gevolg is, zoals al eerder opgemerkt, dat je UUID getal verandert.
Dit is weer op te lossen door het juiste UUID getal op te zoeken en dan de menu.lst handmatig bij te werken.
Dit kan je doen vanuit de Ubuntu live-cd.