From f8c184402b263b5a6da4dac5ec9a6cc350640e30 Mon Sep 17 00:00:00 2001
From: Larry Lu <pudding850806@gmail.com>
Date: Wed, 14 Nov 2018 02:12:03 +0800
Subject: [PATCH] docker: pull image (#2586)

---
 pages/common/docker.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/docker.md b/pages/common/docker.md
index cb3c53b162..01999d6035 100644
--- a/pages/common/docker.md
+++ b/pages/common/docker.md
@@ -18,6 +18,10 @@
 
 `docker container {{start|stop}} {{container_name}}`
 
+- Pull an image from a docker registry:
+
+`docker pull {{image}}`
+
 - Start a container from an image and get a shell inside of it:
 
 `docker container run -it {{image}} bash`