diff options
Diffstat (limited to 'Dockerfile-debian-10-sqlite')
| -rw-r--r-- | Dockerfile-debian-10-sqlite | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Dockerfile-debian-10-sqlite b/Dockerfile-debian-10-sqlite index 9a359ba2..a841a395 100644 --- a/Dockerfile-debian-10-sqlite +++ b/Dockerfile-debian-10-sqlite @@ -12,13 +12,13 @@ # # To build this Docker image, run: # -# docker build -t mediagoblin - < Dockerfile-debian-10-sqlite +# docker build -t mediagoblin-debian-10 - < 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 -f Dockerfile-debian-10-sqlite . +# docker build -t mediagoblin-debian-10 -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 +# docker run --interactive --tty --publish 6543:6543 mediagoblin-debian-10 # # Or you can run with your local "mediagoblin" and "user_dev" directories # bind-mounted into the container. This provides automatic code reloading and @@ -186,6 +186,7 @@ RUN cd docs && make html RUN echo '[[mediagoblin.media_types.audio]]' >> mediagoblin.ini RUN echo '[[mediagoblin.media_types.video]]' >> mediagoblin.ini RUN echo '[[mediagoblin.media_types.raw_image]]' >> mediagoblin.ini +RUN echo '[[mediagoblin.media_types.pdf]]' >> mediagoblin.ini # Prepare the SQLite database. # |