相关疑难解决方法(0)

我在 VirtualBox (LinuxMint 17.1) 中有一个 VM 设置。但我正在尝试启动到 GParted，以便我可以调整分区大小。我正在使用gparted-live-0.22.0-2-amd64.iso，它可以正确启动。我已经尝试了 GRUB 中的每个选项以及后一个菜单，但我无法通过这个屏幕：

在我进入键盘映射选择屏幕之前，这个屏幕也会在启动过程中出现：

虚拟机配置在这里

我在 Virtual Box 中安装了 Ubuntu 18.04 Server，一旦虚拟磁盘上的 10 GB 分配空间用完，我将虚拟磁盘的大小增加到 17 GB，并使用parted'sresizepart 命令调整了根分区的大小（并且在使用分区时这样做，是的，我知道这是不好的做法，但它是用于开发的虚拟机，所有代码都提交到 github 并且我有一个机器的克隆以防万一）。

一切似乎都奏效了：lsblk并udisksctl正确报告了新大小，但df仍然坚持报告旧的 10 GB 和 100% 使用率（即使在重新启动后）。为什么会这样，我能对这个奇怪df的行为做些什么？