diff options
| -rw-r--r-- | gnu/system/linux-container.scm | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gnu/system/linux-container.scm b/gnu/system/linux-container.scm index 1692ccea90d..1db25c170c8 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm | |||
| @@ -356,13 +356,18 @@ Run the container with the given options.")) | |||
| 356 | (mappings '()) | 356 | (mappings '()) |
| 357 | (mounts '()) | 357 | (mounts '()) |
| 358 | (namespaces %namespaces) | 358 | (namespaces %namespaces) |
| 359 | (guest-uid 0) (guest-gid 0)) | 359 | (guest-uid 0) (guest-gid 0) |
| 360 | (child-is-pid1? #t)) | ||
| 360 | "Evaluate EXP, a gexp, in a new process executing in separate namespaces as | 361 | "Evaluate EXP, a gexp, in a new process executing in separate namespaces as |
| 361 | listed in NAMESPACES. Add MOUNTS, a list of <file-system>, and MAPPINGS, a | 362 | listed in NAMESPACES. Add MOUNTS, a list of <file-system>, and MAPPINGS, a |
| 362 | list of <file-system-mapping>, to the set of directories visible in the | 363 | list of <file-system-mapping>, to the set of directories visible in the |
| 363 | process's mount namespace. Inside the namespaces, run code as GUEST-UID and | 364 | process's mount namespace. Inside the namespaces, run code as GUEST-UID and |
| 364 | GUEST-GID. Return the process' exit status as a monadic value. | 365 | GUEST-GID. Return the process' exit status as a monadic value. |
| 365 | 366 | ||
| 367 | When CHILD-IS-PID1? is true, and if NAMESPACES contains 'pid', then the child | ||
| 368 | process runs directly as PID 1. See the documentation for | ||
| 369 | `(@@ (gnu build linux-container) call-with-container)` for further details. | ||
| 370 | |||
| 366 | This is useful to implement processes that, unlike derivations, are not | 371 | This is useful to implement processes that, unlike derivations, are not |
| 367 | entirely pure and need to access the outside world or to perform side | 372 | entirely pure and need to access the outside world or to perform side |
| 368 | effects." | 373 | effects." |
| @@ -406,4 +411,5 @@ effects." | |||
| 406 | #:populate-file-system populate-file-system | 411 | #:populate-file-system populate-file-system |
| 407 | #:namespaces namespaces | 412 | #:namespaces namespaces |
| 408 | #:guest-uid guest-uid | 413 | #:guest-uid guest-uid |
| 409 | #:guest-gid guest-gid)))))) | 414 | #:guest-gid guest-gid |
| 415 | #:child-is-pid1? child-is-pid1?)))))) | ||
