[Trisquel-users] Re : How to increase root 's size

[magicbanana]

GParted does not effectively do anything until you press the "Apply" button.
I believe you had to remove.resize the extended partition before increasing  
/dev/sda1.