diff options
author | Javier Sepulveda <javier.sepulveda@uv.es> | 2023-01-30 12:30:31 +0100 |
---|---|---|
committer | Javier Sepulveda <javier.sepulveda@uv.es> | 2023-01-30 12:30:31 +0100 |
commit | fc8b09c5fef9d31b8fb2907989ab79f1a44535f0 (patch) | |
tree | 714bbd1dddb59aa0233e393646af89db25a13eeb /docker | |
parent | 7264807726af1c3f5285009e7e47544173bb1477 (diff) | |
download | deployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.tar.gz deployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.tar.bz2 deployment-fc8b09c5fef9d31b8fb2907989ab79f1a44535f0.zip |
Conversion format from Bash to Docker: docs.git - Isolated
Diffstat (limited to 'docker')
-rw-r--r-- | docker/docs-build/Dockerfile | 24 | ||||
-rwxr-xr-x | docker/docs-build/build.sh | 2 | ||||
-rw-r--r-- | docker/docs-build/requirements.txt | 1 | ||||
-rwxr-xr-x | docker/docs-build/run.sh | 26 |
4 files changed, 29 insertions, 24 deletions
diff --git a/docker/docs-build/Dockerfile b/docker/docs-build/Dockerfile index fe61794..5bcddce 100644 --- a/docker/docs-build/Dockerfile +++ b/docker/docs-build/Dockerfile @@ -1,7 +1,27 @@ +# Stage 1 + +FROM debian:bookworm-slim AS repo + +RUN apt update \ + && apt install --no-install-recommends -y ca-certificates git + +RUN git clone --branch=master --depth=1 https://git.taler.net/docs.git + +# Final image + FROM sphinxdoc/sphinx-latexpdf +# Copy content from one container to the other + WORKDIR /docs -ADD requirements.txt /docs +COPY --from=repo /docs . + +# Install dependencies + +RUN python3 -m pip install --no-cache-dir recommonmark + +# Compile /docs/* + +ENTRYPOINT ["make", "BUILDDIR=/output", "-C", "/docs", "html", "latexpdf"] -RUN pip3 install -r requirements.txt diff --git a/docker/docs-build/build.sh b/docker/docs-build/build.sh index 91182b2..0289932 100755 --- a/docker/docs-build/build.sh +++ b/docker/docs-build/build.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu diff --git a/docker/docs-build/requirements.txt b/docker/docs-build/requirements.txt deleted file mode 100644 index 02bf565..0000000 --- a/docker/docs-build/requirements.txt +++ /dev/null @@ -1 +0,0 @@ -recommonmark diff --git a/docker/docs-build/run.sh b/docker/docs-build/run.sh index 33ba8a1..9f2eba6 100755 --- a/docker/docs-build/run.sh +++ b/docker/docs-build/run.sh @@ -1,28 +1,14 @@ -#!/bin/sh +#!/bin/bash set -eu -# Instead of git clone, use this pre-built function +# Execute the dockerfile, and leave output in local system -fetch () { - git clean -fdx - git fetch - # reset to updated upstream branch, but only if we're tracking a branch - branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo head) - git reset --hard "$branch" -} +docker run -v /home/docbuilder/docs:/output taler-docs-image -cd /home/docbuilder/docs/ +# COPY data from volume to local -fetch +cp -r /home/docbuilder/docs/html/* /home/docbuilder/build/docs/html +cp -r /home/docbuilder/docs/latex/*.pdf /home/docbuilder/build/docs/pdf -# Execute the container 2 times, and compile html and Latex pdf files -docker run -v /home/docbuilder/docs:/docs taler-docs-image make html - -docker run -v /home/docbuilder/docs:/docs taler-docs-image make latexpdf - -# COPY data from container volume -> to the server (html and pdf files) - -cp -r _build/html/* /home/docbuilder/build/docs/html -cp -r _build/latex/*.pdf /home/docbuilder/build/docs/pdf |