From 842e6bf93bf7cc0bfc7ec478d02617100f57aa7a Mon Sep 17 00:00:00 2001 From: Guilherme Andrade Del Cantoni Date: Sun, 2 Oct 2016 01:34:05 -0300 Subject: [PATCH] Validação de instalação de plugin de atualização do VBGuest-Additions (Vagrant-vbguest) --- Vagrantfile | 6 ++++++ Vagrantfile_Distrib | 10 ++++++---- 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index 8b5cbd9..1981e06 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -1,5 +1,11 @@ # -*- mode: ruby -*- # vi: set ft=ruby : + +#unless Vagrant.has_plugin?("vagrant-vbguest") +# raise "\n\nAmbiente de desenvolvimento não pode ser criado não foi encontrado o plugin vagrant-vbguest.\n"+ +# "Para solucionar o problema, execute o seguinte comando no diretório raiz do projeto.\n\n"+ +# "> vagrant plugin install vagrant-vbguest \n\n" +#end # Vagrantfile API/syntax version. Don't touch unless you know what you're doing! VAGRANTFILE_API_VERSION = "2" diff --git a/Vagrantfile_Distrib b/Vagrantfile_Distrib index cfc2b13..4a94640 100644 --- a/Vagrantfile_Distrib +++ b/Vagrantfile_Distrib @@ -1,10 +1,12 @@ # -*- mode: ruby -*- # vi: set ft=ruby : -# All Vagrant configuration is done below. The "2" in Vagrant.configure -# configures the configuration version (we support older styles for -# backwards compatibility). Please don't change it unless you know what -# you're doing. +unless Vagrant.has_plugin?("vagrant-vbguest") + raise "\n\nAmbiente de desenvolvimento não pode ser criado não foi encontrado o plugin vagrant-vbguest.\n"+ + "Para solucionar o problema, execute o seguinte comando no diretório raiz do projeto.\n\n"+ + "> vagrant plugin install vagrant-vbguest \n\n" +end + Vagrant.configure(2) do |config| # Box do vagrant contendo o ambiente de desenvolvimento do SEI -- libgit2 0.21.2