From 4ed432e0840c5f4a6be77f8a0894bcdd8670654e Mon Sep 17 00:00:00 2001 From: Léo Gillot-Lamure Date: Thu, 18 May 2023 16:49:17 +0200 Subject: 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(-) (limited to 'doc') diff --git a/doc/source/contributor/vagrant-dev-env.rst b/doc/source/contributor/vagrant-dev-env.rst index ed56654f1..ae1ebc43f 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: -- cgit v1.2.3