Set VAGRANT_DEFAULT_PROVIDER environment variable in Vagrantfile's, and possibly in export.Vagrantfiles in downstream boxes as well, in order to reduce the need for users to explicitly provide the hypervisor name at runtime.
This is less important for virtualbox guests, as that hypervisor is currently the default. But we might as well set this configuration for all boxes, for consistency.
Set
VAGRANT_DEFAULT_PROVIDERenvironment variable inVagrantfile's, and possibly inexport.Vagrantfiles in downstream boxes as well, in order to reduce the need for users to explicitly provide the hypervisor name at runtime.This is less important for
virtualboxguests, as that hypervisor is currently the default. But we might as well set this configuration for all boxes, for consistency.