Hey there - I've made a pull request to fix the issue: https://github.com/hashicorp/vagrant/pull/11352
On Wed, Jan 29, 2020 at 10:35 AM Alvaro Miranda Aguilera <[email protected]> wrote: > Hello! > > Thanks for sharing this > > Vagrant development team will be fixing this soon. > > Thanks again > alvaro > > On Mon, Jan 20, 2020 at 12:10 PM 林博仁 <[email protected]> wrote: > >> Hello, I would like to inform you that the Ansible - Short Introduction >> - Vagrant by HashiCorp >> <https://www.vagrantup.com/docs/provisioning/ansible_intro.html> page >> isn't available in the left side menu, which prevents readers for accessing >> introductory materials. >> >> -- >> 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/5c7ef78f-a582-4886-8c5f-c0c73e434a40%40googlegroups.com >> <https://groups.google.com/d/msgid/vagrant-up/5c7ef78f-a582-4886-8c5f-c0c73e434a40%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/vagrant-up/CAHqq0eyw8-Evz566E9rq0z3tJVuJS25qTDw_YULmLhuhBoNQ%3DQ%40mail.gmail.com > <https://groups.google.com/d/msgid/vagrant-up/CAHqq0eyw8-Evz566E9rq0z3tJVuJS25qTDw_YULmLhuhBoNQ%3DQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Brian Cain -- 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/CADHESCVnm6o-i%3DDziNW4OtsY%2BOrknqTgyHkcEN27VFSnMH4MGw%40mail.gmail.com.
