RPM: update docker build script

pull/158/head
François Andriot 3 years ago
parent 503a3d9b48
commit 2fe820623c

@ -22,3 +22,9 @@ else
echo "Saving image to '${FILE}'"
${DOCKER} image save "${IMAGE}" | pigz >"${FILE}"
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