From 24dd2837374dc73681391e69497227df7cdecd7c Mon Sep 17 00:00:00 2001 From: Yifan Wu Date: Sat, 1 Oct 2022 20:23:53 +0800 Subject: [PATCH] Update Docker --- Makefile | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index c67d48a..ede5291 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,12 @@ -DOCKER_NAME ?= dinghao188/rcore-tutorial +DOCKER_NAME ?= rcore-tutorial-v3 .PHONY: docker build_docker - + docker: - docker run --rm -it --mount type=bind,source=$(shell pwd),destination=/mnt ${DOCKER_NAME} + docker run --rm -it -v ${PWD}:/mnt -w /mnt ${DOCKER_NAME} bash build_docker: docker build -t ${DOCKER_NAME} . + fmt: - cd os ; cargo fmt; cd ../user; cargo fmt; cd .. \ No newline at end of file + cd os ; cargo fmt; cd .. +