heckyel/mediagoblin
0
0
Fork 0
Code Issues Pull Requests Releases Activity

Build docs in Docker and CI.

Browse Source
This commit is contained in:
Ben Sturmfels
2021-03-29 17:01:46 +11:00
parent 799449bf46
commit 6e6baa15cc
5 changed files with 25 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
Dockerfile-debian-10-sqlite
View File

@@ -12,13 +12,13 @@
#
# To build this Docker image, run:
#
# docker build -t mediagoblin-python3 - < Dockerfile-debian-python3-sqlite
# docker build -t mediagoblin - < Dockerfile-debian-10-sqlite
#
# The "- < Dockerfile" format advises Docker not to include the current
# directory as build context. Alternatively the following provides build
# context:
#
# docker build -t mediagoblin-python3 -f Dockerfile-debian-python3-sqlite .
# docker build -t mediagoblin -f Dockerfile-debian-10-sqlite .
#
# Before running the image you first need to first assign the "mediagoblin" and
# "user_dev" directories to an artificial group (1024) on the host that is
@@ -30,7 +30,7 @@
#
# Then you can run the image with the upstream MediaGoblin code:
#
# docker run --interactive --tty --publish 6543:6543 mediagoblin-python3
# docker run --interactive --tty --publish 6543:6543 mediagoblin
#
# Or you can run with your local "mediagoblin" and "user_dev" directories
# bind-mounted into the container. This provides automatic code reloading and
@@ -175,6 +175,9 @@ RUN ./bin/pip install py3exiv2
# Run the tests.
RUN ./bin/python -m pytest -rs ./mediagoblin/tests --boxed
# Build the documentation.
RUN cd docs && make html
# Only safe if being run on a clean git checkout. Otherwise you may have already
# customised mediagoblin.ini to already install these.
RUN echo '[[mediagoblin.media_types.audio]]' >> mediagoblin.ini