diff --git a/.gitignore b/.gitignore index ee794cfa..1fae8818 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ .DS_Store notes.md .vagrant +.bundle play # editor backup files diff --git a/Vagrantfile b/Vagrantfile index 513807f0..51aca8bf 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -356,5 +356,16 @@ Vagrant.configure("2") do |config| # Add these to the same directory as the Vagrantfile. ########## # config.vm.provision "shell", path: "./local-script.sh" + + + #### + # System restart + # Restart VM after provisioning + ########## + if Vagrant.has_plugin?("vagrant-reload") + config.vm.provision :reload + else + warn "The recommeded plugin 'vagrant-reload' is currently not installed. You can install it by executing: 'vagrant plugin install vagrant-reload'" + end end