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
..
applications	Merge pull request #28956 from felixsinger/master	2017-09-04 10:31:42 +02:00
build-support	dockerTools.pullImage: change the docker deamon readiness mechanism	2017-09-04 10:52:16 +02:00
common-updater
data	zeal: 0.3.1 -> 0.4.0	2017-09-04 08:19:44 +08:00
desktops	Merge pull request #28893 from jtojnar/gpaste-service	2017-09-03 16:27:30 +01:00
development	Merge pull request #28949 from pbogdan/allegro-fix-build	2017-09-04 07:39:37 +02:00
games	openjk: add desktop items	2017-09-03 16:18:18 +03:00
misc	Merge pull request #28940 from AndersonTorres/upload-higan	2017-09-03 17:22:33 +01:00
os-specific	mwprocapture: fix build with kernels <4.13	2017-09-03 18:50:09 -07:00
servers	emby: 3.2.28.0 -> 3.2.30.0	2017-09-02 19:36:18 +02:00
shells	grml-zsh-config: generalize support to unix systems	2017-09-01 11:38:38 +03:00
stdenv	expand-response-params: Build more normally	2017-08-25 15:10:02 -04:00
test
tools	texlive: add ghostscript when containing pdfcrop	2017-09-03 10:17:37 +02:00
top-level	coqPackages: remove duplication in mkCoqPackages	2017-09-04 02:39:49 +00:00