diff --git a/contrib/man/md/docker-pull.1.md b/contrib/man/md/docker-pull.1.md index 1f64d3f648..40b7425f77 100644 --- a/contrib/man/md/docker-pull.1.md +++ b/contrib/man/md/docker-pull.1.md @@ -5,17 +5,18 @@ docker-pull - Pull an image or a repository from the registry # SYNOPSIS -**docker pull** NAME[:TAG] +**docker pull** [REGISTRY_PATH/]NAME[:TAG] # DESCRIPTION This command pulls down an image or a repository from the registry. If there is more than one image for a repository (e.g. fedora) then all images for that repository name are pulled down including any tags. +It is also possible to specify a non-default registry to pull from. -# EXAMPLE +# EXAMPLES -# Pull a reposiotry with multiple images +# Pull a repository with multiple images $ sudo docker pull fedora Pulling repository fedora @@ -31,6 +32,19 @@ images for that repository name are pulled down including any tags. fedora heisenbug 105182bb5e8b 5 days ago 372.7 MB fedora latest 105182bb5e8b 5 days ago 372.7 MB +# Pull an image, manually specifying path to the registry and tag + + $ sudo docker pull registry.hub.docker.com/fedora:20 + Pulling repository fedora + 3f2fed40e4b0: Download complete + 511136ea3c5a: Download complete + fd241224e9cf: Download complete + + $ sudo docker images + REPOSITORY TAG IMAGE ID CREATED VIRTUAL SIZE + fedora 20 3f2fed40e4b0 4 days ago 372.7 MB + + # HISTORY April 2014, Originally compiled by William Henry (whenry at redhat dot com) based on docker.io source material and internal work.