diff options
| author | 2021-01-15 13:44:45 +0800 | |
|---|---|---|
| committer | 2021-01-15 13:44:45 +0800 | |
| commit | 292885a84a380f6e5392a6a0b9bfd75de37e0bcc (patch) | |
| tree | 0f40af90e7a1d4d1ebde1b80f7da41def9eb6317 /Dockerfile | |
| parent | Update !server with discord 1.5 presence changes. (diff) | |
| parent | Update discord.py to the 1.6 release (diff) | |
Merge branch 'master' into feat/info/server-cmd-enhancements
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 |