diff options
| author |  S. Co1 <[email protected]> | 2019-09-24 13:54:40 -0400 |
|---|---|---|
| committer | S. Co1 <[email protected]> | 2019-09-24 13:54:40 -0400 |
| commit | 20b19de0d22e33476ac082ea048476f9f8c1a5ed (patch) | |
| tree | f1541776183c3d3850693ad20d81fb530bed3a1d /docker/app/scripts/build-wiki.sh | |
| parent | Apply suggestions from code review (diff) | |
| parent | Swap out old discord shield for new one. (diff) | |
Merge branch 'master' into update-linting
Diffstat (limited to 'docker/app/scripts/build-wiki.sh')
| -rw-r--r-- | docker/app/scripts/build-wiki.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docker/app/scripts/build-wiki.sh b/docker/app/scripts/build-wiki.sh new file mode 100644 index 00000000..07c54f66 --- /dev/null +++ b/docker/app/scripts/build-wiki.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" |