From a0f6e6e3a7cc836d9dd1d7f2ace60dce2f8cc2cf Mon Sep 17 00:00:00 2001 From: Bruno Bigras Date: Mon, 29 Apr 2013 15:53:50 -0300 Subject: [PATCH] Use the 80 port with keyserver.ubuntu.com Use the 80 port with keyserver.ubuntu.com so it works with corporate firewalls Upstream-commit: 5051c20833cd3310d27564fe20f856f7e77b92f3 Component: engine --- components/engine/Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/engine/Vagrantfile b/components/engine/Vagrantfile index 2738d0ff7b..4cde1f0496 100644 --- a/components/engine/Vagrantfile +++ b/components/engine/Vagrantfile @@ -10,7 +10,7 @@ Vagrant::Config.run do |config| config.vm.box = BOX_NAME config.vm.box_url = BOX_URI # Add docker PPA key to the local repository and install docker - pkg_cmd = "apt-key adv --keyserver keyserver.ubuntu.com --recv-keys #{PPA_KEY}; " + pkg_cmd = "apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys #{PPA_KEY}; " pkg_cmd << "echo 'deb http://ppa.launchpad.net/dotcloud/lxc-docker/ubuntu precise main' >>/etc/apt/sources.list; " pkg_cmd << "apt-get update -qq; apt-get install -q -y lxc-docker" if ARGV.include?("--provider=aws".downcase)