diff options
author | 2021-01-11 22:34:50 -0800 | |
---|---|---|
committer | 2021-01-11 22:34:50 -0800 | |
commit | c2a3f316c9e4ae95807d3a464b9cc99ad2de0107 (patch) | |
tree | 3fa2597540746c6ef5b76613fa64143cc8359652 | |
parent | Docker: add comments to separate stages (diff) |
Docker: simplify pipenv install command
-rw-r--r-- | Dockerfile | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -51,12 +51,7 @@ ENV PIP_NO_CACHE_DIR=false \ COPY Pipfile Pipfile.lock /snekbox/ WORKDIR /snekbox -RUN if [ -n "${DEV}" ]; \ - then \ - pipenv install --deploy --system --dev; \ - else \ - pipenv install --deploy --system; \ - fi +RUN pipenv install --deploy --system ${DEV:+--dev} # At the end to avoid re-installing dependencies when only a config changes. # It's in the venv image because the final image is not used during development. |