diff options
| author |  Dennis Pham <[email protected]> | 2020-12-23 13:18:26 -0500 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-12-23 13:18:26 -0500 |
| commit | f27fae3973c9905451663d2612e477206c5f4e13 (patch) | |
| tree | c87820117728c6ec36b63be60db84065d8544bd3 /Dockerfile | |
| parent | Move PEP cog to info extensions category (diff) | |
| parent | Merge pull request #1332 from python-discord/ks123/sentry (diff) | |
Merge branch 'master' into ks123/pep
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 0b1674e7a..5d0380b44 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,14 @@ 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 \ |