VBoxmanage pour augmenter la taille de l'image virtualbox sur la machine hôte
cd ~/VirtualBox VMs/VM-NAME VBoxManage clonehd box-disk1.vmdk box-disk1.vdi --format vdi VBoxManage modifyhd box-disk1.vdi --resize 51200 VBoxManage clonehd box-disk1.vdi box-disk1.vmdk --format vmdk
Gparted en live cd sur la machine virtuelle pour modifier la partition unix
Dans la configuration de la machine virtuelle, monter en live CD un iso de Gparted. Démarrer ensuite la machine pour booter en live sur gparted (il ne faut pas que la partition soit montée pour la redimensionner)
Choisir le langage et le clavier, ensuite on arrive au gestionnaire de partitions. Il y a maintenant à agrandir la partition avec l'espace nouvellement gagné (espace non alloué).
Ensuite il ne reste qu'à étendre la machine et démonter le live CD.
Attention : Il faut indiquer des multiples de 1024 quand on redimensionne le disque, sinon il y a des morceaux qui restent non alloués.
Cette procédure ne mache que sur une machine virtuelle "allouée dynamiquement".