From 400833c5d2f033ac9ea768ec7afc88ce6f9bb49b Mon Sep 17 00:00:00 2001
From: Egor Tensin <egor@tensin.name>
Date: Tue, 16 Dec 2025 23:18:17 +0100
Subject: debian: error out if required Vagrant plugins are not installed

---
 debian/Vagrantfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/debian/Vagrantfile b/debian/Vagrantfile
index fdc6ef6..edcd53c 100644
--- a/debian/Vagrantfile
+++ b/debian/Vagrantfile
@@ -6,6 +6,18 @@ EMAIL = 'egor@tensin.name'
 GPG_KEY = '09AEA2BAD52882A1AF9D6042F218DB829A9905B5'
 UID = Process.euid
 
+REQUIRED_PLUGINS = %w(
+  vagrant-libvirt
+  vagrant-reload
+)
+exit unless REQUIRED_PLUGINS.all? do |plugin|
+  Vagrant.has_plugin?(plugin) || (
+    puts "The #{plugin} plugin is required. Please install it with:"
+    puts "    vagrant plugin install #{plugin}"
+    false
+  )
+end
+
 Vagrant.configure("2") do |config|
   config.vm.box = "generic/ubuntu2004"
 
-- 
cgit v1.3