From 4ed432e0840c5f4a6be77f8a0894bcdd8670654e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Gillot-Lamure?= Date: Thu, 18 May 2023 16:49:17 +0200 Subject: [PATCH] docs: Remove redundant section about vagrant-vbguest The section just after this one says the exact same thing with more details, so we can remove it. Change-Id: Iaa6c5a092b471728eec6f89d05546091aa4b17d9 --- doc/source/contributor/vagrant-dev-env.rst | 6 ------ 1 file changed, 6 deletions(-) diff --git a/doc/source/contributor/vagrant-dev-env.rst b/doc/source/contributor/vagrant-dev-env.rst index ed56654f19..ae1ebc43f8 100644 --- a/doc/source/contributor/vagrant-dev-env.rst +++ b/doc/source/contributor/vagrant-dev-env.rst @@ -67,12 +67,6 @@ Next install the hostmanager plugin so all hosts are recorded in ``/etc/hosts`` vagrant plugin install vagrant-hostmanager -If you are going to use VirtualBox, then install vagrant-vbguest: - -.. code-block:: console - - vagrant plugin install vagrant-vbguest - Vagrant supports a wide range of virtualization technologies. If VirtualBox is used, the vbguest plugin will be required to install the VirtualBox Guest Additions in the virtual machine: