diff options
| author |  ks129 <[email protected]> | 2020-12-29 14:54:46 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-12-29 14:54:46 +0200 |
| commit | 66ea8a394cb48186bb66e42df4460104c80e87e2 (patch) | |
| tree | f0da7127a865a2a7a5e17a6782318a0acc7689a8 /Dockerfile | |
| parent | Log info instead error for watchchannel consume task cancel (diff) | |
| parent | Merge pull request #1328 from python-discord/swfarnsworth/developer_command (diff) | |
Merge branch 'master' into bug-fixes
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 06a538b2a..5d0380b44 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,19 @@ FROM python:3.8-slim +# Define Git SHA build argument +ARG git_sha="development" + # Set pip to have cleaner logs and no saved cache ENV PIP_NO_CACHE_DIR=false \ PIPENV_HIDE_EMOJIS=1 \ PIPENV_IGNORE_VIRTUALENVS=1 \ - PIPENV_NOSPIN=1 + PIPENV_NOSPIN=1 \ + GIT_SHA=$git_sha + +RUN apt-get -y update \ + && apt-get install -y \ + git \ + && rm -rf /var/lib/apt/lists/* # Install pipenv RUN pip install -U pipenv |