diff options
Diffstat (limited to 'dev/vagrant/Vagrantfile')
| -rw-r--r-- | dev/vagrant/Vagrantfile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dev/vagrant/Vagrantfile b/dev/vagrant/Vagrantfile index 270ffca0c..f59fafaec 100644 --- a/dev/vagrant/Vagrantfile +++ b/dev/vagrant/Vagrantfile @@ -3,6 +3,13 @@ require "ipaddr" +# Check for required plugin(s) +['vagrant-hostmanager'].each do |plugin| + unless Vagrant.has_plugin?(plugin) + raise "#{plugin} plugin not found. Please install it via 'vagrant plugin install #{plugin}'" + end +end + class VagrantConfigMissing < StandardError end |