.. _DOCKER:

Docker containers
#################

* :ghdlsharp:`270`
* :ghdlsharp:`272`
* :ghdlsharp:`297`

What is docker? A primer
========================

Where are images hosted?
========================

docker-hub
ghdl-tools
Dockerfiles

Launch options
==============

With(out) shared folder
-----------------------

Interactive/daemon
------------------

Shrinking
---------

Additional tools, with(out) GUI
-------------------------------

GtkWave, PoC, VUnit, OSVVM, UVVM