| Index: docs/linux_pid_namespace_support.md
|
| diff --git a/docs/linux_pid_namespace_support.md b/docs/linux_pid_namespace_support.md
|
| index defebf6782bd3f71293bf954f153c3b4fe39a366..81ce80fb740057bfd17158f328d82ce46c9d00a5 100644
|
| --- a/docs/linux_pid_namespace_support.md
|
| +++ b/docs/linux_pid_namespace_support.md
|
| @@ -1,6 +1,12 @@
|
| -The [LinuxSUIDSandbox](LinuxSUIDSandbox.md) currently relies on support for the CLONE\_NEWPID flag in Linux's [clone() system call](http://www.kernel.org/doc/man-pages/online/pages/man2/clone.2.html). You can check whether your system supports PID namespaces with the code below, which must be run as root:
|
| +# Linux PID Namespace Support
|
|
|
| -```
|
| +The [LinuxSUIDSandbox](linux_suid_sandbox.md) currently relies on support for
|
| +the `CLONE_NEWPID` flag in Linux's
|
| +[clone() system call](http://www.kernel.org/doc/man-pages/online/pages/man2/clone.2.html).
|
| +You can check whether your system supports PID namespaces with the code below,
|
| +which must be run as root:
|
| +
|
| +```c
|
| #define _GNU_SOURCE
|
| #include <unistd.h>
|
| #include <sched.h>
|
| @@ -39,4 +45,4 @@ int main() {
|
|
|
| return 0;
|
| }
|
| -```
|
| +```
|
|
|