diff options
| author |  Johannes Christ <[email protected]> | 2019-08-06 20:26:43 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2019-08-06 20:26:43 +0200 |
| commit | 9bcbdf974d157bc4cafb0e8f96e51beef167e5fe (patch) | |
| tree | c3c3ef681e97ebe72392dffc00054127671f5b17 /scripts/dev.sh | |
| parent | Merge pull request #35 from python-discord/readme (diff) | |
| parent | CI: output coverage report to stdout (diff) | |
Merge pull request #33 from python-discord/ci
CI Improvements
Diffstat (limited to 'scripts/dev.sh')
| -rwxr-xr-x | scripts/dev.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh index 097690b..8f5b24f 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -34,16 +34,17 @@ fi # The volume is mounted to same the path in the container as the source # directory on the host to ensure coverage can find the source files. docker run \ - -td \ + --tty \ + --detach \ --name snekbox_test \ --privileged \ --network host \ - -h pdsnk-dev \ + --hostname pdsnk-dev \ -e PYTHONDONTWRITEBYTECODE=1 \ -e PIPENV_PIPFILE="/snekbox/Pipfile" \ -e ENV="${PWD}/scripts/.profile" \ - -v "${PWD}":"${PWD}" \ - -w "${PWD}"\ + --volume "${PWD}":"${PWD}" \ + --workdir "${PWD}"\ --entrypoint /bin/ash \ pythondiscord/snekbox-venv:dev \ >/dev/null \ |