Skip to content

Comments

[ch2][update]optimizing makefile for docker#7

Open
0x822a5b87 wants to merge 1 commit intoLearningOS:ch2from
0x822a5b87:ch2
Open

[ch2][update]optimizing makefile for docker#7
0x822a5b87 wants to merge 1 commit intoLearningOS:ch2from
0x822a5b87:ch2

Conversation

@0x822a5b87
Copy link

optimizing makefile

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

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

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

@0x822a5b87 0x822a5b87 changed the title [ch1][update]optimizing makefile for docker [ch2][update]optimizing makefile for docker Dec 18, 2025
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