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 22:57:59 +0100 |
commit | 655ebdf18d1046473d2ae2c7e3cfc4ced71339f6 (patch) | |
tree | 00c99f71768aa29e5fba9f2d016c4a9d3f8b68a5 /redhat/docker/build.sh | |
parent | 2da54f8f1f9e4d91f16cb2d6e5e93712b0056055 (diff) | |
download | tde-packaging-655ebdf18d1046473d2ae2c7e3cfc4ced71339f6.tar.gz tde-packaging-655ebdf18d1046473d2ae2c7e3cfc4ced71339f6.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 |