diff options
Diffstat (limited to 'tools/setup_Debian.sh')
| -rwxr-xr-x | tools/setup_Debian.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup_Debian.sh b/tools/setup_Debian.sh index 0c3257838..7b088722a 100755 --- a/tools/setup_Debian.sh +++ b/tools/setup_Debian.sh @@ -57,7 +57,7 @@ source /etc/lsb-release echo "deb http://apt.dockerproject.org/repo ubuntu-${DISTRIB_CODENAME} main" | sudo tee /etc/apt/sources.list.d/docker.list add_key sudo apt-get update -sudo apt-get -y install --no-install-recommends 'docker-engine=1.12.*' +sudo apt-get -y install --no-install-recommends 'docker-engine=1.13.1*' sudo service docker stop if [[ ${DISTRIB_CODENAME} == "trusty" ]]; then |