X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/87a7a3fbb7cf5231fdcdcd72bc3199dc15f95b71..b7de0ac72fe6e5270d58940f782e630789391f05:/docker/mkimage-debootstrap.sh diff --git a/docker/mkimage-debootstrap.sh b/docker/mkimage-debootstrap.sh index 1eefac9479..b4010ef4d6 100755 --- a/docker/mkimage-debootstrap.sh +++ b/docker/mkimage-debootstrap.sh @@ -86,10 +86,12 @@ if [ ! "$repo" ] || [ ! "$suite" ]; then fi # some rudimentary detection for whether we need to "sudo" our docker calls +set +e docker=`which docker.io` if [[ "$docker" == "" ]]; then docker=`which docker` fi +set -e if $docker version > /dev/null 2>&1; then docker="$docker"