diff --git a/pi/edit_dockerfile.sh b/pi/edit_dockerfile.sh index cf591da..b48e8e7 100644 --- a/pi/edit_dockerfile.sh +++ b/pi/edit_dockerfile.sh @@ -23,6 +23,10 @@ PI_EXISTING_TAG=$(grep "${DOCKER_REGISTRY}/${PARENT_IMAGE_NAME}:" $DOCKERFILE | PI_EXISTING_IMAGE="${DOCKER_REGISTRY}/${PARENT_IMAGE_NAME}:${PI_EXISTING_TAG}" PI_NEW_IMAGE="${DOCKER_REGISTRY}/${PARENT_IMAGE_NAME}:${RELEASE_TAG}-${PARENT_IMAGE_TYPE}" +echo "PI_EXISTING_TAG = $PI_EXISTING_TAG" +echo "PI_EXISTING_IMAGE = $PI_EXISTING_IMAGE" +echo "PI_NEW_IMAGE = $PI_NEW_IMAGE" + echo "Dockerfile before update:" cat ${DOCKERFILE} sed 's|'${PI_EXISTING_IMAGE}'|'${PI_NEW_IMAGE}'|g' ${DOCKERFILE} > ${DOCKERFILE}.tmp && mv ${DOCKERFILE}.tmp ${DOCKERFILE}