diff options
| author | Johannes Christ <jc@jchri.st> | 2026-04-21 22:22:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2026-04-27 10:03:04 +0200 |
| commit | 8538333bed5c9403fb8f626613584e2cf8bf2ea1 (patch) | |
| tree | d4231ad5e116174d56c07c06b3cf8367ca5fef06 /gnu/system | |
| parent | d1d079739b989d1b8430733c46879a6d61626750 (diff) | |
environment: Run child as PID 2.
* guix/scripts/environment.scm (launch-environment/container): Instruct
`call-with-container` to not run the child as PID 1, which sets up a
simple signal proxying parent process to properly forward signals such
as `SIGINT` to the child.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: I8d435357f54b092562b461e0913aa58e63ecdbf9
Fixes: #7600
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions