压缩virtualbox的vdi

vdi是虚拟盘镜像。
guest已经删除了很多文件，但vdi没有自己释放。
我的guest是Linux mint，host是macOS。
压缩的办法是
首先在guest执行dd if=/dev/zero of=/var/tmp/bigemptyfile bs=4096k ; rm /var/tmp/bigemptyfile
然后在host执行VBoxManage modifymedium --compact /your/path/linuxmint-disk001.vdi
记得在host执行的时候，把/your/path替换成真实的路径。
DONE.

参考链接 https://superuser.com/questions/529149/how-to-compact-virtualboxs-vdi-file-size