diff options
| author | François Andriot <albator78@libertysurf.fr> | 2022-02-03 16:32:53 +0100 |
|---|---|---|
| committer | François Andriot <albator78@libertysurf.fr> | 2022-02-03 16:50:05 +0100 |
| commit | 2fe820623c50e5edcd433354f9b9783726fff302 (patch) | |
| tree | 2b4d3d145265e3644a4d52ec129a44bf577e8cf7 | |
| parent | 503a3d9b486c36b8a1c52f9628af8ce2224c0849 (diff) | |
| download | tde-packaging-2fe820623c50e5edcd433354f9b9783726fff302.tar.gz tde-packaging-2fe820623c50e5edcd433354f9b9783726fff302.zip | |
RPM: update docker build script
| -rwxr-xr-x | redhat/docker/build.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/redhat/docker/build.sh b/redhat/docker/build.sh index f830f522e..aeb6f97e5 100755 --- a/redhat/docker/build.sh +++ b/redhat/docker/build.sh @@ -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 |