changeset 2:a930f7f3a74f

Update docker-setup.md
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Sun, 22 Oct 2017 18:33:45 +0900
parents d56c48888d7f
children 0bb1d3d292b9
files docker-setup.md
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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``