summaryrefslogtreecommitdiff
path: root/devdocs/vagrant/docker%2Findex.html
diff options
context:
space:
mode:
authorCraig Jennings <c@cjennings.net>2025-08-14 22:58:58 -0500
committerCraig Jennings <c@cjennings.net>2025-08-14 22:58:58 -0500
commit82ba818ff456bcd6d56a06226e3f27e98fbb55c3 (patch)
tree158cfc17b2f644a10f063cb546752cfaae12c97f /devdocs/vagrant/docker%2Findex.html
parent9278ddd4ea1a8b1a4c1edaa8894516e3f48d245b (diff)
downloaddotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.tar.gz
dotemacs-82ba818ff456bcd6d56a06226e3f27e98fbb55c3.zip
removing all downloaded devdocs files
Diffstat (limited to 'devdocs/vagrant/docker%2Findex.html')
-rw-r--r--devdocs/vagrant/docker%2Findex.html7
1 files changed, 0 insertions, 7 deletions
diff --git a/devdocs/vagrant/docker%2Findex.html b/devdocs/vagrant/docker%2Findex.html
deleted file mode 100644
index 0744af89..00000000
--- a/devdocs/vagrant/docker%2Findex.html
+++ /dev/null
@@ -1,7 +0,0 @@
-<h1 id="docker"> Docker </h1> <p>Vagrant comes with support out of the box for using Docker as a provider. This allows for your development environments to be backed by Docker containers rather than virtual machines. Additionally, it provides for a good workflow for developing Dockerfiles.</p> <blockquote class="alert alert-warning"> <p><strong>Warning: Docker knowledge assumed.</strong> We assume that you know what Docker is and that you are comfortable with the basics of Docker. If not, we recommend starting with another provider such as <a href="../virtualbox/index">VirtualBox</a>.</p> </blockquote>
-<p>Use the navigation to the left to find a specific Docker topic to read more about.</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/" class="_attribution-link">https://www.vagrantup.com/docs/docker/</a>
- </p>
-</div>