tree d718e3c7aee281ef0c6a1121e7b2bbb7dd1439ed
parent 6e5f076dbcb8841746c4ab018248587ecf5c401f
author Luca Milanesio <luca.milanesio@gmail.com> 1711650294 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1711650983 +0000

Rename DOCKER_HOST to REMOTE_DOCKER_HOST for configuring remote URL

The connection to a remote Docker is performed through the DOCKER_HOST
URL in config.xml. Previously the DOCKER_HOST was clashing with the
local environment, making Docker thinking that also the server needed
to be started remotely.

Rename the variable to REMOTE_DOCKER_HOST to avoid clashes with
the communication with the local Docker daemon. Also, the new
REMOTE_DOCKER_HOST variable is stored into the Jenkins environment
so that the configuration XSLT processor can replace it into the
config.xml and allow Jenkins to start with the proper connectivity
to the remote Docker server.

Change-Id: Ibd40c2cb26148dd946f724cc5ad1c608dccecf11