From afd1ab8d159572b5d0a3476dc34fee43d9159224 Mon Sep 17 00:00:00 2001
From: Pierre Neyron <pierre.neyron@imag.fr>
Date: Mon, 21 Nov 2022 09:25:03 +0100
Subject: [PATCH] [vagrant] force the virtualbox provider for the kadeploy
 server

On some systems, the default provider might not be virtualbox. Enforces
it.
---
 vagrant-env/Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vagrant-env/Vagrantfile b/vagrant-env/Vagrantfile
index 094a5099..ffe6ff37 100644
--- a/vagrant-env/Vagrantfile
+++ b/vagrant-env/Vagrantfile
@@ -3,6 +3,7 @@ require 'yaml'
 
 Vagrant.configure("2") do |config|
   config.vm.define :kadeploy do |server|
+    server.vm.provider "virtualbox"
     server.vm.box = 'debian/contrib-buster64'
     server.vm.hostname = 'kadeploy'
     server.vm.synced_folder '.', '/vagrant'
-- 
GitLab