diff options
| author |  scragly <[email protected]> | 2020-02-29 02:35:57 +1000 |
|---|---|---|
| committer | scragly <[email protected]> | 2020-02-29 02:35:57 +1000 |
| commit | ba337980a4fb83dc923619a9b803f78272c62e18 (patch) | |
| tree | 06d079513e4fe4b02a1d7964e065db7b449f00be /docker | |
| parent | Use port mapping, change container name to snekbox (diff) | |
| parent | Change snekbox timeout to 6 seconds. (diff) | |
Merge branch 'master' of github.com:python-discord/snekbox into compose
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/venv.Dockerfile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docker/venv.Dockerfile b/docker/venv.Dockerfile index b415430..fe5b10d 100644 --- a/docker/venv.Dockerfile +++ b/docker/venv.Dockerfile @@ -4,10 +4,14 @@ ARG DEV ENV PIP_NO_CACHE_DIR=false \ PIPENV_DONT_USE_PYENV=1 \ PIPENV_HIDE_EMOJIS=1 \ - PIPENV_NOSPIN=1 \ - PIPENV_VENV_IN_PROJECT=1 + PIPENV_NOSPIN=1 COPY Pipfile Pipfile.lock snekbox.cfg /snekbox/ WORKDIR /snekbox -RUN if [ -n "${DEV}" ]; then pipenv sync --dev; else pipenv sync; fi +RUN if [ -n "${DEV}" ]; \ + then \ + pipenv install --deploy --system --dev; \ + else \ + pipenv install --deploy --system; \ + fi |