Mirroring is a precondition for Docker to run a container.
One: Get images: Beginners can download high-quality resources from the Internet, such as the Docker hub of the Ubuntu warehouse download. Command: Docker pull Ubuntu
Two: View image information: Use the Docker images command to list the mirrors that are already on the local host.
[Email protected]:/home/charles# Docker Images
REPOSITORY TAG IMAGE ID CREATED SIZE
Ubuntu latest 44776f55294a 8 days ago 120.1 MB
There are a lot of things to list. From the warehouse, like the Ubuntu warehouse. Tagged information for the image: such as latest. ID number of the image: 44776f55294a. Create time and mirror size.
Three: Search Image: Use the Docker search command to search for shared mirrors in the remote repository. --automated=false displays only the images that were created automatically. --no-trunc=false output information does not truncate the display. -S,--stars=0 specifies that only the display rating is rated for the above-rated image.
Four: Delete Image: Use the Docker RMI command to remove the image, the command format is Docker RMI Image[image ...], where image can be a label or ID.
V: Use the image ID to remove the mirror: The ID of the image that is followed by the Docker RMI command is an attempt to delete all the labels that point to the image and then delete the image file itself.
Simple operation for mirroring