Skip to content

Comments

[ch1][update]optimizing makefile for docker#5

Open
0x822a5b87 wants to merge 1 commit intoLearningOS:ch1from
0x822a5b87:ch1
Open

[ch1][update]optimizing makefile for docker#5
0x822a5b87 wants to merge 1 commit intoLearningOS:ch1from
0x822a5b87:ch1

Conversation

@0x822a5b87
Copy link

@0x822a5b87 0x822a5b87 commented Dec 18, 2025

optimizing makefile

原来的docker makefile,每次执行都会删除原来的镜像重建:

docker run --network host --rm -it -v ${PWD}:/mnt -w /mnt ${DOCKER_NAME} bash

build, run, attach, rebuild 拆分开来,按需 rebuild

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant