diff options
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Vagrantfile b/Vagrantfile index 9f961dc9..f30ea972 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -3,8 +3,18 @@ VAGRANTFILE_API_VERSION = "2" +unless Vagrant.has_plugin?('vagrant-vbguest') + system "vagrant plugin install vagrant-vbguest" + puts "Restarting vagrant process..." + exec "vagrant #{ARGV.join' '}" +end + Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| config.vm.box = "debian/jessie64" + config.vm.box_version = "= 8.2.1" + + config.vm.provision "shell", inline: "sudo /etc/init.d/vboxadd setup" + config.vm.provision "shell", inline: "apt-get install -y puppet" config.vm.define "source", primary: true do |source| source.vm.provision "puppet" do |puppet| |