如何减小虚拟动态磁盘分配大小，而不减小磁盘文件大小

Question

我有一台virtualbox linux计算机，并设置了一个虚拟动态磁盘ubuntu18.vhd，大小为100GB，但实际上只有5GB。但虚拟动态磁盘文件为20G。并且不易减少。

我只想配置虚拟动态磁盘的大小。不减小磁盘文件的大小。我知道该怎么做：

sudo dd if=/dev/zero of=/EMPTY bs=1M
sudo rm -f /EMPTY

我只想知道如何更改虚拟动态磁盘的大小。

扩展磁盘大小很容易，但是我没有找到减小磁盘大小的好方法。