diff options
| author |  scragly <[email protected]> | 2019-09-21 22:13:25 +1000 |
|---|---|---|
| committer | scragly <[email protected]> | 2019-09-21 22:13:25 +1000 |
| commit | 034b901cc7819f954debe73123eb67f40666133a (patch) | |
| tree | 60039795a388ebeb41e1f2aeb7eee66a7a1ff640 /docker/app/build-wiki.Dockerfile | |
| parent | CI Job Merge (#255) (diff) | |
Use a .whl for `wiki` package instead of git repo.
Diffstat (limited to 'docker/app/build-wiki.Dockerfile')
| -rw-r--r-- | docker/app/build-wiki.Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/app/build-wiki.Dockerfile b/docker/app/build-wiki.Dockerfile new file mode 100644 index 00000000..92003377 --- /dev/null +++ b/docker/app/build-wiki.Dockerfile @@ -0,0 +1,2 @@ +FROM python:3.7 +RUN pip --no-cache-dir wheel --wheel-dir=/wheels "wiki @ git+https://github.com/python-discord/django-wiki.git" |