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/docker%2Fboxes.html | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 devdocs/vagrant/docker%2Fboxes.html

(limited to 'devdocs/vagrant/docker%2Fboxes.html')

diff --git a/devdocs/vagrant/docker%2Fboxes.html b/devdocs/vagrant/docker%2Fboxes.html
new file mode 100644
index 00000000..c8a89ea1
--- /dev/null
+++ b/devdocs/vagrant/docker%2Fboxes.html
@@ -0,0 +1,6 @@
+<h1 id="docker-boxes">  Docker Boxes </h1> <p>The Docker provider does not require a Vagrant box. The <code>config.vm.box</code> setting is completely optional.</p> <p>A box can still be used and specified, however, to provide defaults. Because the <code>Vagrantfile</code> within a box is loaded as part of the configuration loading sequence, it can be used to configure the foundation of a development environment.</p> <p>In general, however, you will not need a box with the Docker provider.</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/docker/boxes.html" class="_attribution-link">https://www.vagrantup.com/docs/docker/boxes.html</a>
+  </p>
+</div>
-- 
cgit v1.2.3