"make shell"

This commit is contained in:
Jörn-Michael Miehe 2024-01-08 22:40:36 +01:00
parent 7cc5d4a2c4
commit da0c61dd92

View file

@ -5,7 +5,7 @@ examples_flags = -v "$(shell pwd)/examples:/data" -u "$(shell id -u):$(shell id
.PHONY: default
default:
$(info use other targets: image build watch clean)
$(info use other targets: image build watch shell clean)
.PHONY: image
image:
@ -19,6 +19,10 @@ build: image
watch: image
$(docker_run) $(examples_flags) $(image_tag)
.PHONY: shell
shell: image
$(docker_run) $(examples_flags) --entrypoint ash $(image_tag)
.PHONY: clean
clean:
git clean -xdf ./examples