From cafd552731bcbc28e1d1a277c960f181f31a16be Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@privatestorage.io>
Date: Mon, 10 May 2021 14:25:32 +0000
Subject: [PATCH] Make Vagrant use Virtualbox as default

... if other hypervisors are installed as well.

Co-Authored-By: Jean-Paul Calderone <jean-paul@privatestorage.io>
---
 morph/grid/local/README.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/morph/grid/local/README.rst b/morph/grid/local/README.rst
index 2297816d..ddccc67d 100644
--- a/morph/grid/local/README.rst
+++ b/morph/grid/local/README.rst
@@ -38,7 +38,7 @@ Use the local development environment
 
 Build and start the VMs::
 
-  vagrant up
+  VAGRANT_DEFAULT_PROVIDER=virtualbox vagrant up
 
 Then::
 
-- 
GitLab