# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1561015845 -32400
# Node ID 071939cb4e0943ac67b61559e17a5142cf3e4a34
# Parent  0428573d4327416cdcb297d25facb254d86e0e99
update docker run command

diff -r 0428573d4327 -r 071939cb4e09 docker-setup.md
--- a/docker-setup.md	Tue Jun 18 18:59:33 2019 +0900
+++ b/docker-setup.md	Thu Jun 20 16:30:45 2019 +0900
@@ -3,7 +3,7 @@
 - ``$ docker build . --tag xv6-rpi``
 
 ## run debug mode
-- ``$ docker run --privileged -it --name xv6 xv6-rpi ./run-debug.sh``
+- ``$ docker run --rm --privileged -it --name xv6 xv6-rpi ./run-debug.sh``
 
 ## run gdb(up another process)
 - ``$ docker exec -it xv6 ./debug.sh``