7 if [ ! `which $DOCKER_CMD` ]
8 then echo "no docker command available" >&2
11 #if "docker ps" cannot be run without error, prepend sudo
12 if ( ! $DOCKER_CMD ps >/dev/null 2>&1 );then
13 echo "docker command only usable as root, using sudo" >&2
14 DOCKER_CMD="sudo docker"