Lösung: Um die virtuelle Festplatte zu vergrößern, benötigt man das mit VirtualBox installierte Tool VBoxManage. Nachdem man die virtuelle Maschine ausgeschaltet hat,muss man unter Windows die Eingabeaufforderung beziehungsweise ein Terminal unter Linux öffnen.
Das Tool versteht verschiedene Parameter, um die Festplattengröße zu ändern. Im Programmverzeichnis von VirtualBox ruft man nun den folgenden Befehl auf:
VBoxManage.exe modifyhd <Pfad zur VDI-Datei> --resize <Größe in Megabyte>
Produkte: Der Trick funktioniert mit allen aktuellen Versionen von VirtualBox. (cvi)