gerbil icon indicating copy to clipboard operation
gerbil copied to clipboard

Published 20 hours ago • verified publisher icon mighty-gerbils

Update base distro from Ubuntu 18.04 to 20.04 in docker image

Open amirouche opened this issue 3 years ago • 5 comments

amirouche avatar Nov 28 '21 09:11 amirouche

@ober ?

vyzo avatar Nov 28 '21 09:11 vyzo

Can handle.

ober avatar Nov 30 '21 03:11 ober

I am compiling from source both gambit and gerbil, so it is not a blocker for me.

amirouche avatar Nov 30 '21 15:11 amirouche

https://github.com/ober/gerbil/tree/add-multi-distro-docker-support has a new combined dockerfile. It emits both a gerbil/ubuntu docker image, and ubuntu packages.

ober avatar Jul 04 '22 14:07 ober

Feel free to close the issue if it works for you. Best regards.

amirouche avatar Jul 08 '22 14:07 amirouche