Re: [PATCH] docker: update Ubuntu to 20.04

2020-06-05 Thread Paolo Bonzini
Il ven 5 giu 2020, 10:32 Philippe Mathieu-Daudé 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 a

Re: [PATCH] docker: update Ubuntu to 20.04

2020-06-05 Thread Philippe Mathieu-Daudé
On 6/5/20 1:17 AM, Paolo Bonzini wrote: > Signed-off-by: Paolo Bonzini > --- > tests/docker/dockerfiles/ubuntu.docker | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/tests/docker/dockerfiles/ubuntu.docker > b/tests/docker/dockerfiles/ubuntu.docker > index eeb3b22bf2..43

Re: [PATCH] docker: update Ubuntu to 20.04

2020-06-05 Thread Alex Bennée
Paolo Bonzini writes: > Signed-off-by: Paolo Bonzini > --- > tests/docker/dockerfiles/ubuntu.docker | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/tests/docker/dockerfiles/ubuntu.docker > b/tests/docker/dockerfiles/ubuntu.docker > index eeb3b22bf2..43872417de 100644

[PATCH] docker: update Ubuntu to 20.04

2020-06-04 Thread Paolo Bonzini
Signed-off-by: Paolo Bonzini --- tests/docker/dockerfiles/ubuntu.docker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/docker/dockerfiles/ubuntu.docker b/tests/docker/dockerfiles/ubuntu.docker index eeb3b22bf2..43872417de 100644 --- a/tests/docker/dockerfiles/ubuntu.do