diff options
Diffstat (limited to 'devdocs/vagrant/docker%2Findex.html')
| -rw-r--r-- | devdocs/vagrant/docker%2Findex.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devdocs/vagrant/docker%2Findex.html b/devdocs/vagrant/docker%2Findex.html new file mode 100644 index 00000000..0744af89 --- /dev/null +++ b/devdocs/vagrant/docker%2Findex.html @@ -0,0 +1,7 @@ +<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"> + © 2010–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> |