diff options
author | François Andriot <albator78@libertysurf.fr> | 2019-01-01 22:57:59 +0100 |
---|---|---|
committer | François Andriot <albator78@libertysurf.fr> | 2019-01-01 23:00:53 +0100 |
commit | 611c4063a91e80b6e9a17e3161cdbb5798b60c06 (patch) | |
tree | 404354ae67b0e09878fbbcf631fcc76e28778107 /redhat/docker/build.sh | |
parent | 992f8a74b8e847c505fb987dee376f2295a935f0 (diff) | |
download | tde-packaging-611c4063a91e80b6e9a17e3161cdbb5798b60c06.tar.gz tde-packaging-611c4063a91e80b6e9a17e3161cdbb5798b60c06.zip |
RPM: update docker scripts
Diffstat (limited to 'redhat/docker/build.sh')
-rwxr-xr-x | redhat/docker/build.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/redhat/docker/build.sh b/redhat/docker/build.sh index af06b3a6e..88adfbe38 100755 --- a/redhat/docker/build.sh +++ b/redhat/docker/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -ex DISTRIB="$1" TDE_VERSION="$2" @@ -10,8 +10,6 @@ ARCH="$3" IMAGE="trinity.${DISTRIB}.${ARCH}:${TDE_VERSION}" FILE="${HOME}/tde/docker/${IMAGE}.tar.gz" -#docker rmi -f "${IMAGE}" - if [ $(docker images -q "${IMAGE}") ]; then echo "Docker image '${IMAGE}' already exists." elif [ -r "${FILE}" ]; then |