1、点击圆圈中标记的“全局工具”按钮。
2、进入如下界面：
选中vdi文件，将滑动条的浮标右划（得到整数的可行操作：划到差不多的位置，在右边的输入框中，删除个位数以及右边的字符，填入数字，得到一个整数）。
然后，点击“应用”（数值变大了，“应用”按钮才是可用的）。
3、（可能需要重启Linux虚拟机）找到Ubuntu18.04桌面版的“磁盘”(我当时调整的是Ubuntu18.04，与上图有点出入哈)，打开它，见到如下界面
4、点击“齿轮”，见到菜单
点击上图标记的“调整大小”。
5、见到如下界面
浮标滑到合适的位置，右上角点击“调整大小（R）”,完成。
我的virtualbox版本：
virtualbox 5.2.22 r126460 (Qt5.6.2)
