From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001
From: Craig Jennings <c@cjennings.net>
Date: Sun, 7 Apr 2024 13:41:34 -0500
Subject: new repository

---
 devdocs/vagrant/plugins%2Findex.html | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 devdocs/vagrant/plugins%2Findex.html

(limited to 'devdocs/vagrant/plugins%2Findex.html')

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">
+    &copy; 2010&ndash;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>
-- 
cgit v1.2.3