diff options
| author |  Chris Goes <[email protected]> | 2019-06-29 15:54:28 -0600 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2019-06-29 15:54:28 -0600 |
| commit | d07e6c9a98192bd47684352633d3a18e8db2552d (patch) | |
| tree | 20c732b8e952fdae9d40110715ac8e2d50dc9d88 /docker | |
| parent | Merge pull request #29 from python-discord/api-adjustments (diff) | |
| parent | Use write_text() and fix codec names (diff) | |
Merge pull request #31 from python-discord/testing
NsJail Tests
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/venv.Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docker/venv.Dockerfile b/docker/venv.Dockerfile index 61aba58..85188fd 100644 --- a/docker/venv.Dockerfile +++ b/docker/venv.Dockerfile @@ -1,5 +1,6 @@ FROM pythondiscord/snekbox-base:latest +ARG DEV ENV PIP_NO_CACHE_DIR=false \ PIPENV_DONT_USE_PYENV=1 \ PIPENV_HIDE_EMOJIS=1 \ @@ -9,4 +10,4 @@ ENV PIP_NO_CACHE_DIR=false \ COPY Pipfile Pipfile.lock /snekbox/ WORKDIR /snekbox -RUN pipenv sync +RUN if [ -n "${DEV}" ]; pipenv sync --dev; then pipenv sync; fi |