增加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，它具有用于处理VM的vboxmanage命令行工具。您可以使用modifymedium命令更改磁盘大小：

vboxmanage modifymedium docker-vm.vdi --resize 100000

Answer 3

在我的情况下，我有很多停止的容器，图像和体积 - 占用空间。以下命令有助于：

docker container prune

docker volume prune

docker image prune

Answer 4

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

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，然后您可以使用它来调整分区的大小以使用整个磁盘。在互联网上有很多详细的说明，例如here。完成此操作后，关闭GParted VM。

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