diff options
author | 2019-09-21 22:13:25 +1000 | |
---|---|---|
committer | 2019-09-21 22:13:25 +1000 | |
commit | 034b901cc7819f954debe73123eb67f40666133a (patch) | |
tree | 60039795a388ebeb41e1f2aeb7eee66a7a1ff640 /docker/app/scripts/build-uwsgi.sh | |
parent | CI Job Merge (#255) (diff) |
Use a .whl for `wiki` package instead of git repo.
Diffstat (limited to 'docker/app/scripts/build-uwsgi.sh')
-rw-r--r-- | docker/app/scripts/build-uwsgi.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docker/app/scripts/build-uwsgi.sh b/docker/app/scripts/build-uwsgi.sh new file mode 100644 index 00000000..07c54f66 --- /dev/null +++ b/docker/app/scripts/build-uwsgi.sh @@ -0,0 +1,4 @@ +docker build -t build_uwsgi -f docker/app/build-wiki.Dockerfile . +CONTAINER=$(docker run -itd build_uwsgi /bin/bash) +docker cp "$CONTAINER:/wheels" docker/app +docker stop "$CONTAINER" |