Devido a um possível defeito no particionamento automático, algumas
partições podem ficar muito cheias após a instalação. Para estender essas
partições, execute debian-edu-fsautoresize -n
como root. Consulte o HowTo "Como redimensionar partições"
no capítulo HowTo de administração
para obter mais informações.