Hi,

As a maintainer of vagrant-libvirt, I have received a request to enable 
picking up some OS specific configuration for the plugin.

https://github.com/vagrant-libvirt/vagrant-libvirt/pull/969 and 
https://github.com/vagrant-libvirt/vagrant-libvirt/pull/997

Fedora bugzilla triggering these requests 
https://bugzilla.redhat.com/show_bug.cgi?id=1697773#c3

While I could just go ahead and merge the latter PR, it strikes me that 
rather than adding individual environment variables to each plugin in the 
vagrant eco-sphere each time a distro wishes to provide some default 
configuration seems unnecessarily cumbersome, as it requires the distro to 
ask the plugin maintainers to add support for a new environment variable 
each time.

I'm aware that vagrant will search each parent directory recursively for 
any Vagrantfile's, however most distros are unlikely to want to add one to 
the root as /Vagrantfile. Not seeing any configuration being loadable from 
under /etc/vagrant/ or some similar path to be preloaded to the user 
Vagrantfile?

Would it be useful to have some way for distros to provide a default global 
configuration file via an environment variable? So if 
VAGRANT_GLOBAL_VAGRANTFILE is set vagrant would also load that early on to 
allow distributions to provide some default configuration settings for any 
plugin that is interfacing with local system resources.


Regards,
Darragh

-- 
This mailing list is governed under the HashiCorp Community Guidelines - 
https://www.hashicorp.com/community-guidelines.html. Behavior in violation of 
those guidelines may result in your removal from this mailing list.

GitHub Issues: https://github.com/mitchellh/vagrant/issues
IRC: #vagrant on Freenode
--- 
You received this message because you are subscribed to the Google Groups 
"Vagrant" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vagrant-up/53acd951-7cc3-4e42-aad2-a6749ccbae50%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to