Skip to content

Make dockerfile from deb the main one#142

Merged
LeSim merged 5 commits into
mainfrom
work_on_dockerfile
Mar 27, 2026
Merged

Make dockerfile from deb the main one#142
LeSim merged 5 commits into
mainfrom
work_on_dockerfile

Conversation

@LeSim
Copy link
Copy Markdown
Member

@LeSim LeSim commented Mar 25, 2026

  • move the previous dockerfile to dockerfile_from_sources
  • add arg to specify which version of the deb should be used
  • few fixes
  • add ci check of the docker image

@LeSim LeSim force-pushed the work_on_dockerfile branch from 57cece5 to 8efa056 Compare March 25, 2026 16:34
LeSim added 3 commits March 26, 2026 12:01
- add version ARG to specify the ds-proxy version
- add ca-certificates to make ssl work
- add apt-get autoremove to discard deps of curl gpg
- move user creation at the beginning for caching
- use ssl to fetch package.key
@LeSim LeSim force-pushed the work_on_dockerfile branch from 8efa056 to e0a50f1 Compare March 26, 2026 17:00
@LeSim LeSim marked this pull request as ready for review March 27, 2026 09:11
@LeSim LeSim merged commit 135ad9b into main Mar 27, 2026
5 checks passed
@LeSim LeSim deleted the work_on_dockerfile branch March 27, 2026 09:42
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