Open FAMILIAR-project opened 5 years ago
Temporary measure would be to clean your local docker repository and fully rebuild the image with docker_image_tuxml.py and the full_rebuild option. After, update the image on docker hub.
This is what we've done, thanks!
apt-get update
seems necessary to update the "sources"
see the two commits here:
5873a5216a05b427db8f2dd1e1f77ae091b9b758
aed9c261d2b585fa77c152e9c7591c525a69e7bc
But here remains a little problem : when you use the apt-get update
, you will retrieve newer version of the software available on the docker image, hence you won't be sure that 2 image build at different time but with the same tartuxml will be the same.
Also, you will make an internet request, which is something that we wanted to avoid.
Further research with the issue TuxML/ProjetIrma#128 are needed, to be sure that we can't be entirely independant from the debian repository when we build the final tuxml image from an already build tartuml image. If we can't, then yes, running apt-get update
will solve the problem, but with all the inconsistency it come with.
I think youre right its a temporary fix. The update in our case seems very lightweight and only needed for qemu packages... But un the long run it can be more problematic.
We are too much dependent on package servers. Some versions suddenly disappear :(
indeed
http://security-cdn.debian.org/debian-security/pool/updates/main/q/qemu/ packages about deb9u7 are available now, not u6