diff options
Diffstat (limited to 'doc/getting/Docker.rst')
| -rw-r--r-- | doc/getting/Docker.rst | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst index 5759739b0..6ba61dbd8 100644 --- a/doc/getting/Docker.rst +++ b/doc/getting/Docker.rst @@ -1,35 +1,35 @@ .. _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
\ No newline at end of file |