Finalmente ficou com preguiça e acabou de colocar um disco de instalação. Uma das verificações que faz é "> 8,6 GB de armazenamento", por isso acho que essa é a resposta
Parece que o Ubuntu ocupa cerca de 2,2 GB depois de instalado em disco, mas não consigo encontrar nenhuma informação sobre uma instalação do Edubuntu, nem quanto espaço o pacote Edubuntu-desktop ocupa. Eu gostaria de saber o tamanho para 12.04 e 14.04 se houver uma diferença significativa.
Finalmente ficou com preguiça e acabou de colocar um disco de instalação. Uma das verificações que faz é "> 8,6 GB de armazenamento", por isso acho que essa é a resposta