Commit 13b864a1 authored by Dion Häfner's avatar Dion Häfner

[ci skip] added instructions for interactive docker sessions

parent 3c1142ca
......@@ -169,6 +169,14 @@ The following software packages are cross-platform, so you should be able to fin
# Usage
## Start an interactive Docker session
In case you built DORiE using Docker and want to start an interactive session, e.g. to build the documentation or do some debugging, you can do so by specifying a custom entrypoint for the container:
docker run -i -t --entrypoint=/bin/bash -v <dir>:/sim dorie
This way, an interactive bash session inside the container will be started (instead of directly running DORiE). Note that DUNE and DORiE are located in `/opt/dune`.
## Documentation
The documentation of the current `master` branch can be found [online]( (password: `richards`).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment