docker: use environment variables of the host machine for debugging

This commit is contained in:
hackgrid 2023-12-12 21:02:32 +01:00 committed by GitHub
parent 3ad1c815de
commit ddd45e6ed4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,35 +1,32 @@
all:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make
debug:
docker run -v $$PWD:/usr/src/app -it PORTAL64_WITH_GFX_VALIDATOR=1 portal64 make
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make
convert_all_png:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make convert_all_png
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make convert_all_png
image:
docker build -t portal64 .
bash:
docker run --rm -v $$PWD:/usr/src/app -it portal64 bash
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 bash
clean:
sudo make clean
english_audio:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make english_audio
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make english_audio
all_languages:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make all_languages
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make all_languages
german_audio:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make german_audio
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make german_audio
french_audio:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make french_audio
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make french_audio
russian_audio:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make russian_audio
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make russian_audio
spanish_audio:
docker run --rm -v $$PWD:/usr/src/app -it portal64 make spanish_audio
docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make spanish_audio