From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/vagrant/providers%2Fdefault.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/vagrant/providers%2Fdefault.html (limited to 'devdocs/vagrant/providers%2Fdefault.html') diff --git a/devdocs/vagrant/providers%2Fdefault.html b/devdocs/vagrant/providers%2Fdefault.html deleted file mode 100644 index 85cbbbcc..00000000 --- a/devdocs/vagrant/providers%2Fdefault.html +++ /dev/null @@ -1,6 +0,0 @@ -

Default Provider

By default, VirtualBox is the default provider for Vagrant. VirtualBox is still the most accessible platform to use Vagrant: it is free, cross-platform, and has been supported by Vagrant for years. With VirtualBox as the default provider, it provides the lowest friction for new users to get started with Vagrant.

However, you may find after using Vagrant for some time that you prefer to use another provider as your default. In fact, this is quite common. To make this experience better, Vagrant allows specifying the default provider to use by setting the VAGRANT_DEFAULT_PROVIDER environmental variable.

Just set VAGRANT_DEFAULT_PROVIDER to the provider you wish to be the default. For example, if you use Vagrant with VMware Fusion, you can set the environmental variable to vmware_fusion and it will be your default.

-

- © 2010–2018 Mitchell Hashimoto
Licensed under the MPL 2.0 License.
- https://www.vagrantup.com/docs/providers/default.html -

-
-- cgit v1.2.3