From d3a68e1fbb1a75abda76f45e284136a66491c565 Mon Sep 17 00:00:00 2001 From: Paolo Mainardi Date: Thu, 12 Sep 2024 22:26:46 +0200 Subject: [PATCH] Update docker-entrypoint.sh --- docker-entrypoint.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docker-entrypoint.sh b/docker-entrypoint.sh index c3af6f5b..f1f6a74f 100644 --- a/docker-entrypoint.sh +++ b/docker-entrypoint.sh @@ -12,6 +12,8 @@ if docker help "$1" > /dev/null 2>&1; then set -- docker "$@" fi +echo "testing pr-agent" + # if we have "--link some-docker:docker" and not DOCKER_HOST, let's set DOCKER_HOST automatically if [ -z "$DOCKER_HOST" -a "$DOCKER_PORT_2375_TCP" ]; then export DOCKER_HOST='tcp://docker:2375'