Re: [PATCH] docker: update Ubuntu to 20.04

[Paolo Bonzini]

Il ven 5 giu 2020, 10:32 Philippe Mathieu-Daudé <philmd@redhat.com> ha scritto:

Still not sure how to do. Add ubuntu-old.docker based on 19.04 and then
roll 'ubuntu.docker' -> 'ubuntu-old.docker' for each new releases?

We have an image for 18.04 already, I think we should roll ubuntu.docker every six months and, when 22.04 comes out, roll the older LTS image to 20.04.

Paolo

>  ENV PACKAGES flex bison \
>      ccache \
>      clang \
>