为什么这个 VirtualBox 磁盘不能动态扩展？

Question

我有一个运行 Ubuntu 14.04 的 vagrant 配置的 VirtualBox VM。每当在框中进行主要的 mysql 导入时，我都会注意到导入不完整。如果我尝试重新启动 mysql，则会出现此错误：

[FAIL] /etc/init.d/mysql: ERROR: The partition with /var/lib/mysql is too full! ... failed!

我通过克隆到 VDI、调整大小并克隆回 VMDK 来调整 VMDK 映像的大小，因为我读过这可能会解决问题。

$ df -h
rootfs                               9.1G  8.7G  8.0K 100% /

我知道/tmp文件系统是在 Ubuntu 中单独挂载的，所以我什至尝试更改 mysql.ini 上的 tmp 目录，但这也不起作用。

$ VBoxManage showhdinfo <guid>
Parent UUID:    base
State:          created
Type:           normal (base)
Storage format: VMDK
Format variant: dynamic default
Capacity:       24000 MBytes
Size on disk:   6894 MBytes