4 commits

Author	SHA1	Message	Date
Antoine Eiche	132e790735	dockerTools.pullImage: change the docker deamon readiness mechanism ... To wait for the docker deamon, curl requests are sent. However, if a http proxy is set, it will respond instead of the docker daemon. To avoid this, we send docker ps command instead of curl command.	2017-09-04 10:52:16 +02:00
Matej Cotman	8d3cb0af9e	docker tools: fix pull image function	2017-05-26 18:48:16 +02:00
Arthur Noel	903129f770	dockerTools: private registry support ... * authorization token is optional * registry url is taken from X-Docker-Endpoints header * pull.sh correctly resumes partial layer downloads * detjson.py does not fail on missing keys	2016-01-27 21:13:07 +00:00
Luca Bruno	4a4561ce24	dockerTools: nix functions for manipulating docker images	2016-01-13 10:27:37 +01:00