[osv-dev] [PATCH v2] docker: update default distros

Changes since v1: - Don't create redundant /osv directory in builder dockerfiles. - Remove dependency on wget in runner dockerfiles. Signed-off-by: Fotis Xenakis --- docker/Dockerfile.builder | 10 +- docker/Dockerfile.builder-fedora-base | 20 ++--

Re: [osv-dev] Re: New User Question (using the Docker containers)

...and that explains everything, thanks very much On Fri, 17 Apr 2020 at 18:13, Waldek Kozaczuk wrote: > Fotis. > > Thanks for the patch. I will review and commit. You are right we need to > see if it does not break the CI. > > Peter, > > Also if you do not want to build your own docker image,

Re: [osv-dev] Re: New User Question (using the Docker containers)

That’s great thanks, it’s all a bit clearer now. I’ll forge on. Peter On Fri, 17 Apr 2020 at 17:36, Fotis Xenakis wrote: > Hello! I have sent out a patch here > > for updating the default distribution

[osv-dev] Re: New User Question (using the Docker containers)

Fotis. Thanks for the patch. I will review and commit. You are right we need to see if it does not break the CI. Peter, Also if you do not want to build your own docker image, you can pull them from docker hub - https://hub.docker.com/repository/docker/osvunikernel/osv-fedora-31-builder-base

[osv-dev] Re: New User Question (using the Docker containers)

Hello! I have sent out a patch here for updating the default distribution images to the latest supported by the setup script and also tried to minimally update the documentation in that. Even without

[osv-dev] Re: [PATCH] docker: update default distros

Please note that I haven't checked if / how this might interfere with the CI setup and thus might require changes in that if it breaks compatibility. Τη Παρασκευή, 17 Απριλίου 2020 - 7:09:29 μ.μ. UTC+3, ο χρήστης Fotis Xenakis έγραψε: > > Signed-off-by: Fotis Xenakis > --- >

[osv-dev] [PATCH] docker: update default distros

Signed-off-by: Fotis Xenakis --- docker/Dockerfile.builder | 10 +- docker/Dockerfile.builder-fedora-base | 20 ++-- docker/Dockerfile.builder-ubuntu-base | 20 ++-- docker/Dockerfile.runner-fedora | 2 +- docker/Dockerfile.runner-ubuntu