diff options
Diffstat (limited to 'doc/2_Getting')
| -rw-r--r-- | doc/2_Getting/Docker.rst | 25 | ||||
| -rw-r--r-- | doc/2_Getting/Releases.rst | 4 |
2 files changed, 28 insertions, 1 deletions
diff --git a/doc/2_Getting/Docker.rst b/doc/2_Getting/Docker.rst index db371222d..35a1c11b6 100644 --- a/doc/2_Getting/Docker.rst +++ b/doc/2_Getting/Docker.rst @@ -3,4 +3,29 @@ Docker containers ############# +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 diff --git a/doc/2_Getting/Releases.rst b/doc/2_Getting/Releases.rst index 9e06f65af..0fbd4542d 100644 --- a/doc/2_Getting/Releases.rst +++ b/doc/2_Getting/Releases.rst @@ -3,4 +3,6 @@ Releases ######## - +.. TODO: topic + + naming, stable, development, nightly
\ No newline at end of file |