diff options
| author | 2021-01-18 10:58:24 +0800 | |
|---|---|---|
| committer | 2021-01-18 10:58:24 +0800 | |
| commit | b7591877f5fe27ec2c0bc869b6d1997a450d98dc (patch) | |
| tree | f156e2a55e03eb77dbe2d50b069dae8315ce47f4 /Dockerfile | |
| parent | Merge branch 'master' into fuzz-the-matches (diff) | |
| parent | Update discord.py to the 1.6 release (diff) | |
Merge branch 'master' into fuzz-the-matches
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 | 
