From 80b54ed34149c89cc0214eaf5eec1ac9b5dc3612 Mon Sep 17 00:00:00 2001
From: David Manouchehri <david.manouchehri@riseup.net>
Date: Thu, 30 Nov 2017 14:06:21 -0500
Subject: [PATCH] Reuse existing local Git repository
 (https://github.com/linuxkit/linuxkit/pull/2784#pullrequestreview-80121346).

Signed-off-by: David Manouchehri <david.manouchehri@riseup.net>
---
 Vagrantfile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index db7a92b81..8352207c3 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -5,8 +5,6 @@
 Vagrant.configure("2") do |config|
 	config.vm.box = "bento/ubuntu-16.04"
 
-	config.vm.synced_folder ".", "/vagrant", disabled: true
-
 	config.vm.provision "shell", inline: <<-SHELL
 		# apt-get update
 		# DEBIAN_FRONTEND=noninteractive apt-get -y upgrade
@@ -17,7 +15,11 @@ Vagrant.configure("2") do |config|
 	config.vm.provision "docker"
 
 	config.vm.provision "shell", privileged: false, inline: <<-SHELL
-		go get -u github.com/linuxkit/linuxkit/src/cmd/linuxkit
+		mkdir -p ~/go/src/github.com/linuxkit/
+		ln -s /vagrant ~/go/src/github.com/linuxkit/linuxkit
+		cd ~/go/src/github.com/linuxkit/linuxkit/src/cmd/linuxkit
+		go get -d
+		go install
 		echo "export PATH=${PATH}:${HOME}/go/bin" >> ~/.bashrc
 	SHELL