docker host vs docker name

[aremazeilles]

The madrob file states:

docker_host: eurobenchtest/pi_madrob_beast:v0.0.0
docker_name: eurobenchtest/pi_madrob_beast:v0.0.0

In which case the two entries could be different, which would justify having two entries?
ping @alfonsotecnalia

[alfonsotecnalia]

I think that you can do a docker pull (from a docker_host) and rename the image giving a tag (so the docker_name in your compuer is different).

[aremazeilles]

Ok so the docker_host is the official host name. While the docker_name is the name we want to give to the component locally, correct?
We can leave both for now, but if it turns that we always use the same name, I would suggest removing the second one.