diff --git a/docs/man/docker-pull.1.md b/docs/man/docker-pull.1.md index 01abc0750..5572542e4 100644 --- a/docs/man/docker-pull.1.md +++ b/docs/man/docker-pull.1.md @@ -8,7 +8,7 @@ docker-pull - Pull an image or a repository from the registry **docker pull** [**-a**|**--all-tags**[=*false*]] [**--help**] -NAME[:TAG] +NAME[:TAG] | [REGISTRY_HOST[:REGISTRY_PORT]/]NAME[:TAG] # DESCRIPTION @@ -67,3 +67,4 @@ April 2014, Originally compiled by William Henry (whenry at redhat dot com) based on docker.com source material and internal work. June 2014, updated by Sven Dowideit August 2014, updated by Sven Dowideit +April 2015, updated by John Willis diff --git a/docs/sources/reference/commandline/cli.md b/docs/sources/reference/commandline/cli.md index e6f09a078..e3344991b 100644 --- a/docs/sources/reference/commandline/cli.md +++ b/docs/sources/reference/commandline/cli.md @@ -1602,7 +1602,7 @@ This shows all the containers that have exited with status of '0' ## pull - Usage: docker pull [OPTIONS] NAME[:TAG] + Usage: docker pull [OPTIONS] NAME[:TAG] | [REGISTRY_HOST[:REGISTRY_PORT]/]NAME[:TAG] Pull an image or a repository from the registry @@ -1638,6 +1638,7 @@ use `docker pull`: $ docker pull registry.hub.docker.com/debian # manually specifies the path to the default Docker registry. This could # be replaced with the path to a local registry to pull from another source. + # sudo docker pull myhub.com:8080/test-image ## push