Bom, desfragmentei o Windows, iniciei por um live CD e abri o GParted como root.
Pretendia resolver o problema de falta de espaço na partição /, que só tem 254 MB livres se não me engano (ela tinha 4GB).
Reduzi a partição Windows e aumentei a /, para 40GB se não me engano.
Mas não adiantou!
Agora a / me aparece como se utilizasse tudo, menos os 200 e poucos MB que já estavam livres antes.
O que eu faço para aumentar o espaço livre na minha /?