J'exécute Windows 7 dans VirtualBox.
J'ai redimensionné le disque de Windows 7 de 25 Go à 50 Go:
VBoxManage modifyhd Windows\ 7\ Pro.vdi --resize 50000
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
PROBLÈME: je ne peux pas agrandir la partition, ni avec Windows 7 lui-même ni avec GParted:
Il semble que VirtualBox n'informe pas le système d'exploitation client de la nouvelle taille.
Quelle étape supplémentaire est nécessaire?