diff --git a/push.sh b/push.sh index 1314ee48ea5b..ff1a14d62d67 100755 --- a/push.sh +++ b/push.sh @@ -5,4 +5,5 @@ cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" #docker pull $(awk '$1 == "FROM" { print $2 }' Dockerfile) docker build -t docker-library-docs . -docker run -it --rm -v "$(pwd)":/wtf -w /wtf -e TERM --entrypoint 'bash' docker-library-docs -c './push.pl "$@"' -- "$@" +test -t 1 && it='-it' || it='-i' +docker run "$it" --rm -v "$(pwd)":/wtf -w /wtf -e TERM --entrypoint 'bash' docker-library-docs -c './push.pl "$@"' -- "$@"