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
..
default.nix	dockerTools: fix image json and manifest	2017-08-03 11:52:03 +02:00
detjson.py
examples.nix	docker tools: fix pull image function	2017-05-26 18:48:16 +02:00
pull.nix	docker tools: fix pull image function	2017-05-26 18:48:16 +02:00
pull.sh	dockerTools.pullImage: change the docker deamon readiness mechanism	2017-09-04 10:52:16 +02:00
tarsum.go