RPM: update docker build script

pull/115/head
François Andriot 3 years ago
parent 20f4adb3d3
commit 47d794ca99

@ -22,3 +22,9 @@ else
echo "Saving image to '${FILE}'" echo "Saving image to '${FILE}'"
${DOCKER} image save "${IMAGE}" | pigz >"${FILE}" ${DOCKER} image save "${IMAGE}" | pigz >"${FILE}"
fi fi
# Strip 'localhost/' prefix from image tag
if ! docker images | while read name tag blah; do echo "${name}:${tag}"; done | grep -q "^${IMAGE}$"; then
docker image tag "localhost/${IMAGE}" "${IMAGE}"
docker image remove "localhost/${IMAGE}"
fi

Loading…
Cancel
Save