Expandir um disco virtual no VirtualBox

Estou a tentar expandir um disco virtual de uma máquina que corre no VirtualBox. Este processo só funciona com a máquina virtual completamente desligada. É necessário fazer halt na consola. Não pode ser aplicado com a máquina em estado Saved pois, neste caso, as últimas alterações estão guardadas num Snapshot e perdem-se.

Como o meu disco era de formato fixo (não era dinâmico), não pude usar um comando simples. Se fosse um disco dinâmico, bastaria o seguinte:

VBoxManage modifyhd agua.vdi –resize 50000

Assim tive que:

1. criar um disco novo maior que o primeiro,
2. clonar o anterior no novo,
3. substituir o disco antigo pelo novo, na máquina virtual.

Os comandos foram os seguintes:

VBoxManage createhd –filename agua2.vdi –size 50000
VBoxManage clonehd agua.vdi agua2.vdi –existing
VBoxManage modifyvm agua –hda none
VBoxManage modifyvm agua –hda agua2.vdi

Depois deste primeiro passo de expansão do disco virtual, é necessário estender a partição. Para isso, descarreguei o GParted em formato ISO e associei-o ao leitor de CD da máquina virtual. Depois arranquei com a máquina e fi-la arrancar de CD.
Nas opções de arranque do GParted escolhi o arranque automático. Desta forma, a máquina entra automaticamente no GParted, em modo gráfico. A interface é simples de compreender: basta estender a partição e mandar aplicar o comando.