diff options
| author |  MarkKoz <[email protected]> | 2021-02-03 12:12:20 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2021-02-04 16:19:45 -0800 |
| commit | d274d25c2da31fd6cf5b8a86f81d9d79c4545e8c (patch) | |
| tree | 95fee110c8c7071c875e7db9bda22a068d9830e6 /Pipfile | |
| parent | Categorise and sort scripts in Pipfile (diff) | |
Replace dev.sh with Docker Compose
Managing development containers through Docker Compose is convenient.
However, it isn't quite flexible enough to facilitate both development
and normal use. It's not really worth accommodating the latter since
the container gets pushed to a registry and that's the intended way to
run the service. Anyone that is checking out the repository and
therefore has access to the compose file is likely a developer, not a
user.
Diffstat (limited to 'Pipfile')
| -rw-r--r-- | Pipfile | 18 |
1 files changed, 4 insertions, 14 deletions
@@ -39,24 +39,14 @@ precommit = "pre-commit install" # Testing report = "coverage report" -test = "sh scripts/dev.sh -c 'pipenv run coverage run -m unittest'" -testb = """ - sh scripts/dev.sh \ - --build \ - --clean \ - -c 'pipenv run coverage run -m unittest' +test = """ + docker-compose run --entrypoint /bin/bash --rm snekbox -c \ + 'coverage run -m unittest' """ # Docker build = "docker build -t ghcr.io/python-discord/snekbox:latest ." -builddev = """ - docker build \ - -t ghcr.io/python-discord/snekbox-venv:dev \ - --target venv \ - --build-arg DEV=1 \ - . -""" -devsh = "sh scripts/dev.sh" +devsh = "docker-compose run --entrypoint /bin/bash --rm snekbox" # Other protoc = "sh scripts/protoc.sh" |