Hello https://www.vagrantup.com/docs/providers/configuration.html#overriding-configuration
If you think is not easy to reach, OR, something is missed, please feel free to say so, so we can update the documentation. Where do you think is more natural to have this if the current place is hard to reach ? Alvaro On Mon, Aug 7, 2017 at 1:51 PM, pixel fairy <pixelfa...@gmail.com> wrote: > > > On Monday, August 7, 2017 at 4:40:43 AM UTC-7, Torben Knerr wrote: >> >> Hi, >> >> you can override it in a provider specific block using the 2nd block >> argument, e.g.: >> >> > Thanks! where is this documented? vagrant needs a wiki for all the stuff > not covered in the docs. > > -- > 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 vagrant-up+unsubscr...@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/vagrant-up/6cc48dee-9e88-44d1-ac03-ae9ad8cf9850%40googlegroups.com > <https://groups.google.com/d/msgid/vagrant-up/6cc48dee-9e88-44d1-ac03-ae9ad8cf9850%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- Alvaro -- 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 vagrant-up+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/CAHqq0ey5ywYJc8dKG%3D8YNEmEChVpLMovHdqarCHJ7fkei3cw8Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.