增加Docker Toolbox上的磁盘空间

Question

我正在尝试在Docker Toolbox上启动一些非常大的容器(总共大约18 GB).不幸的是,我总是得到没有足够磁盘空间的错误.我有一个1TB硬盘,有200多GB免费.

如何增加docker工具箱的磁盘空间？

Answer 1

好的,我终于找到了解决方案:

删除虚拟docker-machine并添加一个新的:

 $ docker-machine rm default
 $ docker-machine create -d virtualbox --virtualbox-disk-size "100000" default

Answer 2

您无需删除VM并重新创建即可调整大小.默认情况下,Docker Machine使用VirtualBox,它具有vboxmanage用于处理VM 的命令行工具.您可以使用modifymedium命令更改磁盘大小:

vboxmanage modifymedium docker-vm.vdi --resize 100000

Answer 3

我遇到了同样的问题。我不准备丢失任何现有的图像或容器，因此创建新磁盘或修剪数据都不是我的选择。以下是如何在不丢失任何数据的情况下调整磁盘大小的方法。

Docker Toolbox 默认会创建一个 VMDK 文件。VirtualBox 无法调整此格式的大小。因此，在调整其大小之前，您必须将其转换为 VDI 文件。

转到您的 VirtualBox 界面并从您的“默认”机器上分离 VMDK 文件。然后，将 VMDK 文件克隆到 VDI 文件：

VBoxManage clonemedium disk --format VDI "C:\Users\me\.docker\machine\machines\default\disk.vmdk" "C:\Users\me\.docker\machine\machines\default\disk.vdi"

您现在可以调整 VDI 文件的大小。以下命令的最后一个参数以 MB 为单位指定新大小：

VBoxManage modifyhd "C:\Users\me\.docker\machine\machines\default\disk.vdi" --resize 30720

现在磁盘已调整大小，但分区未调整。要调整分区大小以适应磁盘大小，请下载GParted并创建一个新的虚拟机。将您的 VDI 磁盘和 GParted Live CD 附加到新机器上。它将启动 GParted，然后您可以使用它来调整分区大小以使用整个磁盘。互联网上有很多关于如何执行此操作的详细说明，例如这里。完成后，关闭 GParted VM。

将 VDI 文件附加到您的“默认”机器。运行docker-machine start，它应该使用调整大小的虚拟磁盘启动您的 Docker 机器。如果一切正常，您现在可以删除旧的 VMDK 文件或将其存档以进行备份。

Answer 4

就我而言，我有很多停止的容器、图像和卷——占用空间。下面的命令帮助：

docker container prune

docker volume prune

docker image prune