1 - Ouvrez les fichiers '.vbox' et '.vbox-prev' (s'ils existent) dans n'importe quel éditeur de texte et remplacez le premier caractère de HardDisk uuid (prenez note d'annuler cette modification à l'étape 6)
Exemple: nano /home/virtualbox/WindowsServer/WindowsServer.vbox
Changement:
<HardDisks>
<HardDisk uuid="{3ebaa9b6-8318-4b81-b853-8f30dd278bdc}" location="/home/virtualbox/WindowsServer/WindowsServer.vdi" format="VDI" type="Normal"/>
À:
<HardDisks>
<HardDisk uuid="{2ebaa9b6-8318-4b81-b853-8f30dd278bdc}" location="/home/virtualbox/WindowsServer/WindowsServer.vdi" format="VDI" type="Normal"/>
2 - Redémarrer la machine
4 - Arrêter la machine virtuelle (si démarrée)
5 - Sur le terminal:
su vbox
cd /home/virtualbox/WindowsServer/
VBoxManage modifyhd WindowsServer.vdi --resize SIZE
exit
exit
changer SIZE pour un nombre en mégaoctets, par exemple 80000 (80 Go)
6 - Ouvrez à nouveau les fichiers '.vbox' et '.vbox-prev' (le cas échéant) dans n'importe quel éditeur de texte et remplacez le premier caractère de HardDisk uuid par la valeur d'origine
Exemple: nano /home/virtualbox/WindowsServer/WindowsServer.vbox
Changement:
<HardDisks>
<HardDisk uuid="{2ebaa9b6-8318-4b81-b853-8f30dd278bdc}" location="/home/virtualbox/WindowsServer/WindowsServer.vdi" format="VDI" type="Normal"/>
À:
<HardDisks>
<HardDisk uuid="{3ebaa9b6-8318-4b81-b853-8f30dd278bdc}" location="/home/virtualbox/WindowsServer/WindowsServer.vdi" format="VDI" type="Normal"/>
7 - Redémarrer la machine