Acontece que eu redimensionei a imagem de base vdi do meu disco rígido virtual. No entanto, eu estava usando um instantâneo. Eu encontrei o vdi correto correspondente ao instantâneo e o redimensionei.
Antes de descrever o problema, gostaria de especificar que não estou confuso sobre o tamanho das partições (elas não foram estendidas ainda, então é claro que elas não cresceram), mas o tamanho da dispositivo real que o GParted vê.
Eu tinha um arquivo vdi com o ArchLinux instalado. O tamanho foi de 8GB. Eu estendi isso para 20GB, o que eu posso confirmar no VirtualBox GUI no meu host.
No entanto, depois de ter carregado o live CD do GParted na VM e inicializar, ele diz que /dev/sda é um dispositivo de 8GB. Não vai me deixar redimensionar nada, porque não acha que o disco realmente ficou maior.
Há algo mais que eu deveria estar fazendo?
Acontece que eu redimensionei a imagem de base vdi do meu disco rígido virtual. No entanto, eu estava usando um instantâneo. Eu encontrei o vdi correto correspondente ao instantâneo e o redimensionei.