File: build_docker.sh

package info (click to toggle)
sphinx-needs 5.1.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 11,924 kB
  • sloc: python: 21,132; javascript: 187; makefile: 89; sh: 29; xml: 10
file content (35 lines) | stat: -rwxr-xr-x 1,160 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#!/usr/bin/env bash

BASE_FOLDER="$( dirname "${0}" )" 

echo -n "Build HTML version or PDF version (h/p)? The PDF version has a larger image size (>1.5GB):"
read BUILD_TYPE
if [ "$BUILD_TYPE" == "p" ]; then
    BASE_IMAGE=sphinxdoc/sphinx-latexpdf:latest
    IMAGE_NAME=danwos/sphinxneeds-latexpdf:latest    
    echo "Building PDF Image..."
else
    BASE_IMAGE=sphinxdoc/sphinx:latest
    IMAGE_NAME=danwos/sphinxneeds:latest
    echo "Building HTML Image..."
fi


echo " -----------------------  HINT  ----------------------"
echo "| Setting up Sphinx Needs Version.                    |"
echo "| Leave the field empty for the latest release,       |"
echo "| a version number (eg, 0.7.8) for a specific release,|"
echo "| or 'pre-release' for the upcoming release           |"
echo " ----------------------------------------------------- "
if [[ -z "$NEEDS_VERSION" ]]; then
    echo -n Sphinx Needs Version:
    read NEEDS_VERSION
fi     

DOCKER_BUILDKIT=1 docker build --no-cache \
    --progress=plain \
    --build-arg NEEDS_VERSION=$NEEDS_VERSION \
    --build-arg BASE_IMAGE=$BASE_IMAGE \
    -f Dockerfile \
    -t $IMAGE_NAME \
    ${BASE_FOLDER}