From c0f43c362ce53eca12f755822970c84518e99e6b Mon Sep 17 00:00:00 2001 From: Brandon Matthews Date: Fri, 10 Apr 2015 10:06:21 -0700 Subject: [PATCH] Use service command to restart docker, not upstart. upstart ships by default on Ubuntu, but not on Debian, and service works everywhere. Fixes #5245. --- .../docker/cap/debian/docker_configure_auto_start.rb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/plugins/provisioners/docker/cap/debian/docker_configure_auto_start.rb b/plugins/provisioners/docker/cap/debian/docker_configure_auto_start.rb index 1c29d7d6c..32a8defd2 100644 --- a/plugins/provisioners/docker/cap/debian/docker_configure_auto_start.rb +++ b/plugins/provisioners/docker/cap/debian/docker_configure_auto_start.rb @@ -7,8 +7,7 @@ module VagrantPlugins machine.communicate.tap do |comm| if !comm.test('grep -q \'\-r=true\' /etc/default/docker') comm.sudo("echo 'DOCKER_OPTS=\"-r=true ${DOCKER_OPTS}\"' >> /etc/default/docker") - comm.sudo("stop docker") - comm.sudo("start docker") + comm.sudo("service docker restart") # Wait some amount time for the pid to become available # so that we don't start executing Docker commands until