The docker pull command serves for downloading Docker images from a registry.
By default, the docker pull command pulls images from Docker Hub, but it is also possible to manually specify the private registry to pull from.
Before running the docker pull command it needs to search the Docker registry for the image to download.
In the examples below i will show how to pull the CentOS image from the official repository.
Cool Tip: Image vs. Container … What is the difference? Read More →
Docker Pull Command
The syntax of the docker pull command:
$ docker pull [OPTIONS] [PATH/]IMAGE_NAME
Is there a difference between a Docker registry and repository? You seem to use the words interchangeably here.
Hello. There is no differences from my point of view.
A docker REGISTRY is a web-server-like thing that publishes images and offers them for download. For example, docker.io.
A docker REPOSITORY is a collection of images with the same name and different tags. For example “myhost:1000/myimage:v1” and “myhost:1000/myimage:v2” are both in the repository “myhost:1000/myimage”.
I find this usage confusing, but I think I have accurately described what the Docker project does.