Skip to content

Docker optimizations #3904

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 8 commits into
base: develop
Choose a base branch
from
Open

Conversation

wilmardo
Copy link
Contributor

@wilmardo wilmardo commented Aug 5, 2025

Couple quick fixes in the Dockerfile where ee7d611 is the most important one.

In the current setup there is a possibility for zombie processes since Docker only cares about the PID1 and other processes might not get killed since Bash isn't the greatest in forwarding the signals.

Using a small processmanager like tini solves all these issues :)

The rest are just little convenience fixes or little cleanups (armv7 support dropped, rust works fine on aarch64 from repo now)

Will followup this PR with some more optimizations but this is the most important one.

@edysli
Copy link

edysli commented Aug 5, 2025

Thanks for starting to improve the container image! 😄 I think there is more to clean, but at least that's a start.

And yes indeed, having a proper init process is crucial here.

@wilmardo
Copy link
Contributor Author

wilmardo commented Aug 6, 2025

@edysli yes I was very temped to a big refactor but that is for after my vacation ;)

I will for sure follow this up with more PRs

@vabene1111
Copy link
Collaborator

Thanks for the PR, looks good on first sight. I have a bit of vacation now as well but will definitely get back to this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

3 participants