diff options
| author |  Gareth Coles <[email protected]> | 2018-11-16 19:18:38 +0000 |
|---|---|---|
| committer | Gareth Coles <[email protected]> | 2018-11-16 19:18:38 +0000 |
| commit | 715d1e32eda88c763b5ba411bcbdf16f97b8296a (patch) | |
| tree | 9d735c67de96b6c7192501c0cbf3c5756013bbd3 | |
| parent | Merge branch 'mod_cmds_user_fix' into 'master' (diff) | |
Attempt to make pipenv faster
| -rw-r--r-- | docker/bot.Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/bot.Dockerfile b/docker/bot.Dockerfile index 4713e1f0e..ec2636423 100644 --- a/docker/bot.Dockerfile +++ b/docker/bot.Dockerfile @@ -8,7 +8,7 @@ ENV PIPENV_HIDE_EMOJIS=1 COPY . /bot WORKDIR /bot -RUN pipenv install --deploy --system +RUN pipenv sync --deploy --system ENTRYPOINT ["/sbin/tini", "--"] CMD ["python", "-m", "bot"] |