# HG changeset patch
# User Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
# Date 1508664825 -32400
# Node ID a930f7f3a74fdbf0f38196a00a767a7116718737
# Parent  d56c48888d7f54e6e9eccbc1eaa2f85c81c5ecf6
Update docker-setup.md

diff -r d56c48888d7f -r a930f7f3a74f docker-setup.md
--- a/docker-setup.md	Sun Oct 22 18:31:28 2017 +0900
+++ b/docker-setup.md	Sun Oct 22 18:33:45 2017 +0900
@@ -1,9 +1,9 @@
 # xv6-rpi on Docker
 ## build
-- ``$ docker build . --tag xv6-rpi``
+- ``$ docker build . --tag xv6_rpi_port``
 
 ## run debug mode
-- ``$ docker run --privileged -it --name xv6 xv6-rpi ./run-debug.sh``
+- ``$ docker run --privileged -it --name xv6 xv6_rpi_port ./run-debug.sh``
 
 ## run gdb(up another process)
 - ``$ docker exec -it xv6 ./debug.sh``