From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/vagrant/docker%2Fboxes.html | 6 ------ 1 file changed, 6 deletions(-) delete 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 deleted file mode 100644 index c8a89ea1..00000000 --- a/devdocs/vagrant/docker%2Fboxes.html +++ /dev/null @@ -1,6 +0,0 @@ -

Docker Boxes

The Docker provider does not require a Vagrant box. The config.vm.box setting is completely optional.

A box can still be used and specified, however, to provide defaults. Because the Vagrantfile within a box is loaded as part of the configuration loading sequence, it can be used to configure the foundation of a development environment.

In general, however, you will not need a box with the Docker provider.

-

- © 2010–2018 Mitchell Hashimoto
Licensed under the MPL 2.0 License.
- https://www.vagrantup.com/docs/docker/boxes.html -

-
-- cgit v1.2.3