Docker is becoming more and more popular, and if your team is ready to start using Docker, then a private repository is essential, first of all to help you speed up the pull image from the server, and, second, to help you store a private image. This article is about how to open a images backup from a public server to a local private server.
Docker images often fills the hard disk space unconsciously, in order to clean up the redundant image, the following methods can be used:
1. Enter root permissions
sudo su
2. Stop all container so that you can delete the images:
Docker stop $ (Docker ps-a-Q)
If you want to delete all container, add one more command:
Docker RM $ (Docker ps-a-Q)
3. See what images is currently
Docker images
4. Delete the images, by the ID of the image to specify who to delete
Docker RMI <image id>
If you want to delete untagged images, which is the image with ID <None>, you can use
Docker RMI $ (Docker images | grep "^<none>" | awk "{print $}")
To delete all of the image,
Docker RMI $ (Docker images-q)
Docker Learning Notes (3) How to delete a-docker warehouse image