Merge ch1 to ch2: Merge pull request #5 from 0x822a5b87/ch1

[ch1][update]optimizing makefile for docker

Author: Azure-stars

Makefile

@@ -1,12 +1,57 @@
+CONTAINER_NAME ?= rcore-container
 DOCKER_NAME ?= rcore-docker
-.PHONY: docker build_docker
-	
+.PHONY: docker build_docker attach_docker rebuild_docker fmt
+
 docker:
-	docker run --network host --rm -it -v ${PWD}:/mnt -w /mnt ${DOCKER_NAME} bash
+	if ! docker images --format "{{.Repository}}" | grep -q "^${DOCKER_NAME}$$"; then \
+		echo "❌ image '${DOCKER_NAME}' not exits，start building..."; \
+		make build_docker; \
+	else \
+		echo "✅ image '${DOCKER_NAME}' was built, skip building..."; \
+	fi; \
+	if docker ps -a --filter "name=^/${CONTAINER_NAME}$$" --format "{{.Names}}" | grep -q "${CONTAINER_NAME}"; then \
+		echo "✅ find existing container: ${CONTAINER_NAME}，accessing..."; \
+		if ! docker ps --filter "name=^/${CONTAINER_NAME}$$" --format "{{.Names}}" | grep -q "${CONTAINER_NAME}"; then \
+			echo "🔧 container isn't running，start launching..."; \
+			docker start ${CONTAINER_NAME}; \
+		fi; \
+		docker exec -it ${CONTAINER_NAME} bash; \
+	else \
+		echo "🚀 no existing container is found: ${CONTAINER_NAME}，start creating new container..."; \
+		docker run --network host -it -d \
+			--name ${CONTAINER_NAME} \
+			-v ${CURDIR}:/mnt \
+			-w /mnt \
+			${DOCKER_NAME} \
+			bash; \
+		docker exec -it ${CONTAINER_NAME} bash; \
+	fi
 
-build_docker: 
+# build docker if container doesn't exist
+build_docker:
 	docker build -t ${DOCKER_NAME} .
 
-fmt:
-	cd os ; cargo fmt;  cd ..
+attach_docker:
+	@if docker ps -a --filter "name=^/${CONTAINER_NAME}$$" --format "{{.Names}}" | grep -q "${CONTAINER_NAME}"; then \
+		if ! docker ps --filter "name=^/${CONTAINER_NAME}$$" --format "{{.Names}}" | grep -q "${CONTAINER_NAME}"; then \
+			docker start ${CONTAINER_NAME}; \
+		fi; \
+		docker exec -it ${CONTAINER_NAME} bash; \
+	else \
+		echo "❌ no existing container is found: ${CONTAINER_NAME}，please run 'make docker' to create container"; \
+	fi
 
+rebuild_docker:
+	@echo "🗑️ delete existing container ${CONTAINER_NAME}..."; \
+	docker rm -f ${CONTAINER_NAME} 2>/dev/null; \
+	echo "🚀 start creating container..."; \
+	docker run --network host -it -d \
+		--name ${CONTAINER_NAME} \
+		-v ${CURDIR}:/mnt \
+		-w /mnt \
+		${DOCKER_NAME} \
+		bash; \
+	docker exec -it ${CONTAINER_NAME} bash;
+
+fmt:
+	cd os ; cargo fmt; cd ..