diff options
Diffstat (limited to 'devdocs/vagrant/plugins%2Findex.html')
| -rw-r--r-- | devdocs/vagrant/plugins%2Findex.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devdocs/vagrant/plugins%2Findex.html b/devdocs/vagrant/plugins%2Findex.html new file mode 100644 index 00000000..eb8b1e6d --- /dev/null +++ b/devdocs/vagrant/plugins%2Findex.html @@ -0,0 +1,6 @@ +<h1 id="plugins"> Plugins </h1> <p>Vagrant comes with many great features out of the box to get your environments up and running. Sometimes, however, you want to change the way Vagrant does something or add additional functionality to Vagrant. This can be done via Vagrant <em>plugins</em>.</p> <p>Plugins are powerful, first-class citizens that extend Vagrant using a well-documented, stable API that can withstand major version upgrades.</p> <p>In fact, most of the core of Vagrant is <a href="https://github.com/hashicorp/vagrant/tree/master/plugins">implemented using plugins</a>. Since Vagrant <a href="https://en.wikipedia.org/wiki/Eating_your_own_dog_food">dogfoods</a> its own plugin API, you can be confident that the interface is stable and well supported.</p> <p>Use the navigation on the left below the "Plugins" section to learn more about how to use and build your own plugins.</p><div class="_attribution"> + <p class="_attribution-p"> + © 2010–2018 Mitchell Hashimoto<br>Licensed under the MPL 2.0 License.<br> + <a href="https://www.vagrantup.com/docs/plugins/" class="_attribution-link">https://www.vagrantup.com/docs/plugins/</a> + </p> +</div> |