|
@@ -26,6 +26,7 @@ BUILD_LABEL=${BUILD_TAG} # The docker hub label for all o
|
|
|
BUILD_USER=hpcc-systems # The github repo owner
|
|
|
BUILD_TYPE= # Set to Debug for a debug build, leave blank for default (RelWithDebInfo)
|
|
|
DOCKER_REPO=hpccsystems
|
|
|
+DEST_DOCKER_REGISTRY=docker.io
|
|
|
USE_CPPUNIT=1
|
|
|
|
|
|
# These values are set in a GitHub workflow build
|
|
@@ -34,6 +35,10 @@ USE_CPPUNIT=1
|
|
|
[[ -n ${INPUT_BUILD_VER} ]] && BUILD_TAG=${INPUT_BUILD_VER}
|
|
|
[[ -n ${INPUT_DOCKER_REPO} ]] && DOCKER_REPO=${INPUT_DOCKER_REPO}
|
|
|
|
|
|
+DEST_DOCKER_REPO=${DOCKER_REPO}
|
|
|
+[[ -n ${INPUT_LN_DOCKER_REPO} ]] && DEST_DOCKER_REPO=${INPUT_LN_DOCKER_REPO}
|
|
|
+[[ -n ${INPUT_LN_REGISTRY} ]] && DEST_DOCKER_REGISTRY=${INPUT_LN_REGISTRY}
|
|
|
+
|
|
|
if [[ -n ${INPUT_BUILD_THREADS} ]] ; then
|
|
|
BUILD_THREADS=$INPUT_BUILD_THREADS
|
|
|
fi
|
|
@@ -77,10 +82,11 @@ build_image() {
|
|
|
|
|
|
[[ -z ${buildTag} ]] && buildTag=$BUILD_TAG
|
|
|
|
|
|
- if [ "$rebuild" = "1" ] || ! docker pull ${DOCKER_REPO}/${name}:${label} ; then
|
|
|
- docker image build -t ${DOCKER_REPO}/${name}:${label} \
|
|
|
+ if [ "$rebuild" = "1" ] || ! docker pull ${DEST_DOCKER_REGISTRY}/${DOCKER_REPO}/${name}:${label} ; then
|
|
|
+ docker image build -t ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:${label} \
|
|
|
--build-arg BASE_VER=${BASE_VER} \
|
|
|
--build-arg DOCKER_REPO=${DOCKER_REPO} \
|
|
|
+ --build-arg DEST_DOCKER_REPO=${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO} \
|
|
|
--build-arg BUILD_TAG=${buildTag} \
|
|
|
--build-arg BUILD_LABEL=${BUILD_LABEL} \
|
|
|
--build-arg BUILD_USER=${BUILD_USER} \
|
|
@@ -97,14 +103,14 @@ push_image() {
|
|
|
local name=$1
|
|
|
local label=$2
|
|
|
if [ "$LATEST" = "1" ] ; then
|
|
|
- docker tag ${DOCKER_REPO}/${name}:${label} ${DOCKER_REPO}/${name}:latest
|
|
|
+ docker tag ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:${label} ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:latest
|
|
|
if [ "$PUSH" = "1" ] ; then
|
|
|
- docker push ${DOCKER_REPO}/${name}:${label}
|
|
|
- docker push ${DOCKER_REPO}/${name}:latest
|
|
|
+ docker push ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:${label}
|
|
|
+ docker push ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:latest
|
|
|
fi
|
|
|
else
|
|
|
if [ "$PUSH" = "1" ] ; then
|
|
|
- docker push ${DOCKER_REPO}/${name}:${label}
|
|
|
+ docker push ${DEST_DOCKER_REGISTRY}/${DEST_DOCKER_REPO}/${name}:${label}
|
|
|
fi
|
|
|
fi
|
|
|
}
|