Add option to specify a Dockerfile

This commit is contained in:
Lars Gohr
2019-08-21 22:41:46 +02:00
parent 2c7a6fb102
commit eb9cfa9de0
3 changed files with 55 additions and 2 deletions

View File

@@ -13,14 +13,20 @@ if [ $(echo ${GITHUB_REF} | sed -e "s/refs\/tags\///g") != ${GITHUB_REF} ]; then
fi;
DOCKERNAME="${DOCKER_REPOSITORY}:${BRANCH}"
CUSTOMDOCKERFILE=""
if [ ! -z "${INPUT_dockerfile}" ]; then
CUSTOMDOCKERFILE="-f ${INPUT_dockerfile}"
fi
if [ "${INPUT_snapshot}" == "true" ]; then
SHA=$(env | grep ^github\\.sha= | cut -d= -f2-) # Thank you Github for using dots in variables
SHA_DOCKER_NAME="${DOCKER_REPOSITORY}:${SHA}"
docker build -t ${DOCKERNAME} -t ${SHA_DOCKER_NAME} .
docker build $CUSTOMDOCKERFILE -t ${DOCKERNAME} -t ${SHA_DOCKER_NAME} .
docker push ${DOCKERNAME}
docker push ${SHA_DOCKER_NAME}
else
docker build -t ${DOCKERNAME} .
docker build $CUSTOMDOCKERFILE -t ${DOCKERNAME} .
docker push ${DOCKERNAME}
fi