changeset 6:071939cb4e09

update docker run command
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 20 Jun 2019 16:30:45 +0900
parents 0428573d4327
children 5f1fe02b09e9
files docker-setup.md
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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``