Update Docker

chyyuu · Oct 1, 2022 · 00d1d1b · 00d1d1b
1 parent 6489075
commit 00d1d1b
Showing 1 changed file with 6 additions and 4 deletions.
diff --git 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 easy-fs; cargo fmt; cd ../easy-fs-fuse cargo fmt; cd ../os ; cargo fmt; cd ../user; cargo fmt; cd ..
+	cd easy-fs; cargo fmt; cd ../easy-fs-fuse cargo fmt; cd ../os ; cargo fmt; cd ../user; cargo fmt; cd ..
+