diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-19 07:32:50 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | a1fb74c4fa69c035ea298c3d526a9a277c8db1f7 (patch) | |
| tree | b8705240a4f85461ae2951d00fc37c64354cd621 /doc/2_Getting/Docker.rst | |
| parent | 45dfdf3444abe623b4eab42cd1553c8e4b56f139 (diff) | |
| download | ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.tar.gz ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.tar.bz2 ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.zip | |
File extensions must be rst, not rst.txt
Diffstat (limited to 'doc/2_Getting/Docker.rst')
| -rw-r--r-- | doc/2_Getting/Docker.rst | 25 |
1 files changed, 25 insertions, 0 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 |