Add example on how to kill a docker container by name.

3496f404 · Brian Beggs · ab647b8e · 3496f404
Commit 3496f404 authored Aug 15, 2017 by Brian Beggs
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletions

README.rst
+4 -1

No files found.
--- a/README.rst
+++ b/README.rst
@@ -423,7 +423,10 @@ To detach from the container, you'll need to stop the container with:

    make stop

-or a manual Docker command to bring down the container.
+or a manual Docker command to bring down the container:
+.. code:: sh
+
+   docker kill $(docker ps -a -q --filter="name=edx.devstack.<container name>")

 Running LMS and Studio Tests
 ----------------------------