From 43771b4a94686f02cc15a196e4d24c9333f84baa Mon Sep 17 00:00:00 2001 From: Michael Schurter Date: Tue, 11 Jul 2017 08:00:46 -0700 Subject: [PATCH] Don't require cloned repo for demo vagrant Also update how Docker installed to match the latest upstream instructions. --- demo/vagrant/Vagrantfile | 43 ++++++++++++++++++++++++++++++---------- 1 file changed, 32 insertions(+), 11 deletions(-) diff --git a/demo/vagrant/Vagrantfile b/demo/vagrant/Vagrantfile index fab85be7b..0700afac2 100644 --- a/demo/vagrant/Vagrantfile +++ b/demo/vagrant/Vagrantfile @@ -4,18 +4,24 @@ $script = <