From 0127bee1d0d4429db5547166fbd78eccd61644c6 Mon Sep 17 00:00:00 2001
From: Nicolas Favre-Felix <n.favrefelix@gmail.com>
Date: Sun, 23 Feb 2020 20:27:37 -0800
Subject: [PATCH] Add instructions for docker.io image

---
 README.markdown | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/README.markdown b/README.markdown
index a844bc5..4244141 100644
--- a/README.markdown
+++ b/README.markdown
@@ -22,6 +22,21 @@ curl -d "GET/hello" http://127.0.0.1:7379/
 </pre>
 
 # Try in Docker
+
+<pre>
+$ docker run --rm -d -p 7379:7379 nicolas/webdis
+0d2ce311a4834d403cc3e7cfd571b168ba40cede6a0e155a21507bb0bf7bee81
+
+$ curl http://127.0.0.1:7379/PING
+{"PING":[true,"PONG"]}
+
+# To stop it:
+$ docker stop $(docker ps | grep webdis | cut -c 1-12)
+0d2ce311a483
+</pre>
+
+# Build and run Docker image locally
+
 Clone the repository and open a terminal in the webdis directory, then run:
 <pre>
 $ docker build -t webdis .
@@ -34,7 +49,7 @@ $ curl http://127.0.0.1:7379/PING
 {"PING":[true,"PONG"]}
 
 # To stop it:
-$ docker kill $(docker ps | grep webdis | cut -c 1-12)
+$ docker stop $(docker ps | grep webdis | cut -c 1-12)
 f0a2763fd456
 </pre>