Support non-tty mode in push.sh

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 "$@"' -- "$@"