Skip to content

Commit 74a99ac

Browse files
committed
Added missed docker run option
1 parent 57f3739 commit 74a99ac

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

README.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ docker build -t python-ese .
6767
Once the Docker image is built, you can run a Docker container using the following command:
6868

6969
```bash
70-
docker run -d --network host --mount type=bind,source=[your/path/to/config],target=/app/config python-ese
70+
docker run -d --network host --mount type=bind,source=[your/path/to/config],target=/app/config python-ese --privileged=true
7171
```
7272

7373
The `--network host` option in the docker run command tells Docker to use the host network for the container. This means the container shares the same network stack as the host and can access network services running on the host directly.
@@ -77,7 +77,9 @@ In this case we use mounts to provide the configuration file to the container.
7777

7878
The configuration file is a JSON file that contains the configuration of PythonESE. It must be placed in a directory on the host and the _full_ path to this directory must be specified in the source option of the --mount option. The JSON schema needs also to be in the same directory.
7979

80-
For examples on how to create or modify the configuration file refer to the next section. If no configuration file is provided the default configuration will be used.
80+
For examples on how to create or modify the configuration file refer to the ne xt section. If no configuration file is provided the default configuration will be used.
81+
82+
The `--privileged=true` option is used to give the container full access to the host system. This is necessary to run the logic solvers like Clingo in a safe environment using [Bubblewrap](https://github.com/containers/bubblewrap).
8183

8284
# Configuration
8385

0 commit comments

Comments
 (0)