diff options
Diffstat (limited to 'redhat/docker/run.sh')
| -rwxr-xr-x | redhat/docker/run.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/redhat/docker/run.sh b/redhat/docker/run.sh index 8e7ee7d56..94a001033 100755 --- a/redhat/docker/run.sh +++ b/redhat/docker/run.sh @@ -6,13 +6,14 @@ ARCH="$3" [ -z "${TDE_VERSION}" ] && TDE_VERSION="14.0.7" [ -z "${ARCH}" ] && ARCH="x86_64" +[ -x /usr/bin/podman ] && DOCKER=podman || DOCKER=docker IMAGE="trinity.${DISTRIB}.${ARCH}:${TDE_VERSION}" DIST="$(sed -n ${DISTRIB}/rpmmacros -e "/%dist/ s|.* ||p")" mkdir -p "${HOME}/rpmbuild/RPMS/RPMS${DIST}.tde-${TDE_VERSION}" mkdir -p "${HOME}/rpmbuild/SRPMS/SRPMS${DIST}.tde-${TDE_VERSION}" -mkdir -p "/dev/shm/docker" +mkdir -p "/dev/shm/${DOCKER}" case "${TDE_VERSION}" in "14.0."*) TDE_BRANCH="r14.0.x";; @@ -21,10 +22,10 @@ esac mkdir -p "${HOME}/rpmbuild/RPMS/RPMS${DIST}.tde-${TDE_VERSION}" "${HOME}/rpmbuild/SRPMS/SRPMS${DIST}.tde-${TDE_VERSION}" -docker run -ti --rm --privileged \ +${DOCKER} run -ti --rm --privileged \ -h "${IMAGE}" \ --name "${IMAGE//:/-}" \ - -v /dev/shm/docker:/tmp:z \ + -v /dev/shm/${DOCKER}:/tmp:z \ -u trinity \ -e TMPPATH=/tmp \ -e TDE_VERSION=${TDE_VERSION} \ |