web-dev-qa-db-fra.com

Augmenter l'espace disque sur Docker Toolbox

J'essaie de démarrer de très gros conteneurs sur Docker Toolbox (environ 18 Go au total). Malheureusement, je reçois toujours l'erreur qu'il n'y a pas assez d'espace disque. J'ai un disque dur de 1 To et il y a plus de 200 Go gratuits.

Comment puis-je augmenter l'espace disque de Docker Toolbox?

12
Pascal

OK, j'ai enfin trouvé la solution:

Supprimez le docker-machine virtuel et ajoutez-en un nouveau:

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

Vous pouvez redimensionner sans avoir à supprimer la VM et à la recréer. Par défaut, Docker Machine utilise VirtualBox, qui possède l'outil de ligne de commande vboxmanage pour travailler avec les ordinateurs virtuels. Vous pouvez utiliser la commande modifymedium pour modifier la taille du disque:

vboxmanage modifymedium docker-vm.vdi --resize 100000
6
Elton Stoneman

Dans mon cas, j'avais beaucoup de conteneurs, d'images et de volumes arrêtés, qui prenaient de la place. Les commandes ci-dessous aident:

docker container Prune

docker volume Prune

docker image Prune

1
object