Skip to content

Add tini as PID 1 #20

Merged
simonrw merged 1 commit intomainfrom
use-tini
Dec 5, 2023
Merged

Add tini as PID 1 #20
simonrw merged 1 commit intomainfrom
use-tini

Conversation

@simonrw
Copy link
Collaborator

@simonrw simonrw commented Dec 5, 2023

Motivation

When launching the docker image, the PID 1 process should behave like an init process, i.e. propagate signals correctly to child processes, and reap zombies. Without this, the container is much more difficult to terminate with Ctrl-C.

Changes

  • Add tini to the container as PID1

@simonrw simonrw self-assigned this Dec 5, 2023
@simonrw simonrw enabled auto-merge December 5, 2023 14:47
@simonrw simonrw merged commit 7521c1f into main Dec 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant