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/boxes%2Finfo.html | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 devdocs/vagrant/boxes%2Finfo.html (limited to 'devdocs/vagrant/boxes%2Finfo.html') diff --git a/devdocs/vagrant/boxes%2Finfo.html b/devdocs/vagrant/boxes%2Finfo.html deleted file mode 100644 index 2b41e052..00000000 --- a/devdocs/vagrant/boxes%2Finfo.html +++ /dev/null @@ -1,16 +0,0 @@ -

Additional Box Information

When creating a Vagrant box, you can supply additional information that might be relevant to the user when running vagrant box list -i. For example, you could package your box to include information about the author of the box and a website for users to learn more:

brian@localghost % vagrant box list -i
-hashicorp/precise64     (virtualbox, 1.0.0)
-  - author: brian
-  - homepage: https://www.vagrantup.com
-
-

Box Info

To accomplish this, you simply need to include a file named info.json when creating a base box which is a JSON document containing any and all relevant information that will be displayed to the user when the -i option is used with vagrant box list.

{
- "author": "brian",
- "homepage": "https://example.com"
-}
-
-

There are no special keys or values in info.json, and Vagrant will print each key and value on its own line.

The Box File Format provides more information about what else goes into a Vagrant box.

-

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

-
-- cgit v1.2.3