Skip to content

Commit

Permalink
Fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
incaseoftrouble committed Jun 7, 2024
1 parent d6ff92b commit 13980f6
Showing 1 changed file with 14 additions and 4 deletions.
18 changes: 14 additions & 4 deletions doc/benchexec-in-container.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,11 +36,14 @@ entry point in a container with all required dependencies installed. For
example, if BenchExec is installed in a container with tag `my-container`, you
can simply execute
```
podman run --security-opt unmask=/sys/fs/cgroup --cgroups=split --security-opt unmask=/proc/* --security-opt seccomp=unconfined -t my-benchexec my-container <arguments>
podman run --security-opt unmask=/sys/fs/cgroup --cgroups=split \
--security-opt unmask=/proc/* \
--security-opt seccomp=unconfined \
-t my-container <arguments>
```
or
```
docker run --privileged --cap-drop=all -t my-container benchexec <arguments>
docker run --privileged --cap-drop=all -t my-container benchexec <arguments>
```


Expand Down Expand Up @@ -117,7 +120,10 @@ Dockerfile is located to build the container.

Start the image with
```
podman run --security-opt unmask=/sys/fs/cgroup --cgroups=split --security-opt unmask=/proc/* --security-opt seccomp=unconfined -it <tag>
podman run --security-opt unmask=/sys/fs/cgroup --cgroups=split \
--security-opt unmask=/proc/* \
--security-opt seccomp=unconfined \
-it <tag>
```
or
```
Expand Down Expand Up @@ -175,7 +181,11 @@ problems.

With cgroups v1, use the following command line to start your container
```
podman run -v /sys/fs/cgroup:/sys/fs/cgroup:rw --security-opt unmask=/sys/fs/cgroup --cgroups=split --security-opt unmask=/proc/* --security-opt seccomp=unconfined -it <tag>
podman run -v /sys/fs/cgroup:/sys/fs/cgroup:rw \
--security-opt unmask=/sys/fs/cgroup --cgroups=split \
--security-opt unmask=/proc/* \
--security-opt seccomp=unconfined \
-it <tag>
```
or
```
Expand Down

0 comments on commit 13980f6

Please sign in to comment.