From 67c4229193c52627904b07419a0fe4a5db2e6d00 Mon Sep 17 00:00:00 2001
From: Axel Navarro <navarroaxel@gmail.com>
Date: Mon, 13 Mar 2023 02:13:04 -0300
Subject: [PATCH] docker-pull: add page (#9941)

* docker-pull: add page

---------

Co-authored-by: Jack Lin <blueskyson1401@gmail.com>
---
 pages/common/docker-pull.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 pages/common/docker-pull.md

diff --git a/pages/common/docker-pull.md b/pages/common/docker-pull.md
new file mode 100644
index 000000000..b848912c2
--- /dev/null
+++ b/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`