support/docker: run apt-get update and apt-get install in two RUNs
authorYann E. MORIN <yann.morin.1998@free.fr>
Sun, 3 Jun 2018 09:08:18 +0000 (11:08 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 3 Jun 2018 18:31:20 +0000 (20:31 +0200)
commitc4f844ff3212266f845ea812da2a8647a9f1e136
treef652b3762d8cd499245a7fa688a9a13adae85722
parenta19a6b0de350f27e1b46364a850490a58974dac8
support/docker: run apt-get update and apt-get install in two RUNs

In commit 7517aef4d (support/docker: limit the number of layers),
we reduced the number of layers by coalescing multiple RUN commands
into less commands.

In doing so, we especially coalesced "apt-get update" with "apt-get
install".

However, the distribution we used is a pinned version of stretch, so
we know that running apt-get update will always yield the same apt
database.

If we split the two apt-get commands, then we can re-use any local
intermediate image when we need to update the list of packages to
install; this helps quite a bit when testing the docker files over
and over again, with just slight variants in the packages list.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Ricardo Martincoski <ricardo.martincoski@gmail.com>
Cc: Peter Korsgaard <peter@korsgaard.com>
Reviewed-by: Ricardo Martincoski <ricardo.martincoski@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
support/docker/Dockerfile