diff --git a/install-docker.sh b/install-docker.sh
index 0d05851f6858142b0580d0c0001df8feba10cc42..5f3e2d6adc57d7132e21f9febc2319ff739a93f2 100644
--- a/install-docker.sh
+++ b/install-docker.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # This script helps us to prepare a Docker host for the build system
 #
@@ -12,6 +12,14 @@ run() {
   (set -x; "$@")
 }
 
+sudo mkdir -p /etc/docker
+
+cat <<EOF |sudo tee /etc/docker/daemon.json >/dev/null
+{
+  "registry-mirrors": ["https://mirror.gcr.io"]
+}
+EOF
+
 echo "Installing Docker via get.docker.com"
 run curl -LsS https://get.docker.com -o /tmp/get-docker.sh
 run sh /tmp/get-docker.sh