docker-pull: add page (#9941)

* docker-pull: add page

---------

Co-authored-by: Jack Lin <blueskyson1401@gmail.com>

pages/common/docker-pull.md

@@ -0,0 +1,24 @@
+# docker pull
+
+> Download Docker images from a registry.
+> More information: <https://docs.docker.com/engine/reference/commandline/pull/>.
+
+- Download a specific Docker image:
+
+`docker pull {{image}}:{{tag}}`
+
+- Download a specific Docker image in quiet mode:
+
+`docker pull --quiet {{image}}:{{tag}}`
+
+- Download all tags of a specific Docker image:
+
+`docker pull --all-tags {{image}}`
+
+- Download a Docker images for a specific platform, e.g. linux/amd64:
+
+`docker pull --platform {{linux/amd64}} {{image}}:{{tag}}`
+
+- Display help:
+
+`docker pull --help`