From e28236c5f8ff7e04d97cb734729ee0390e42224c Mon Sep 17 00:00:00 2001 From: Wolfgang Faust Date: Sat, 20 Mar 2021 21:03:05 -0700 Subject: [PATCH] vagrant: more helpful error when vagrant-disksize plugin is missing Without this, Vagrant just says "Unknown configuration section 'disksize'." which error requires some investigation to determine a cause. --- vagrant/Vagrantfile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vagrant/Vagrantfile b/vagrant/Vagrantfile index c894c63..e233a61 100644 --- a/vagrant/Vagrantfile +++ b/vagrant/Vagrantfile @@ -1,3 +1,7 @@ +unless Vagrant.has_plugin?("vagrant-disksize") + raise 'plugin vagrant-disksize is not installed!' +end + Vagrant.configure(2) do |config| config.vm.box = "ubuntu/xenial64" config.vm.define "10.9.9.9"