diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-11-27 15:59:48 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-11-28 11:12:59 -0800 |
| commit | 7d77db96e30fc238aee9f229e583429a6883bf34 (patch) | |
| tree | ca5f5028d600900e9b0806464bdf6f90bc543e7d /dives/test33.xml | |
| parent | 467cae065141e412c4a8e36dadc8b009fe6aee96 (diff) | |
| download | subsurface-7d77db96e30fc238aee9f229e583429a6883bf34.tar.gz | |
GitHub Actions: work around bug in Ubuntu 14.04 docker base image
Right now in the Ubuntu 14.04 base image for Docker the file
/etc/apt/preferences.d/ubuntu-esm-infra-trusty doesn't exist.
Subsequently, apt-get update enables ESM, but since we don't have a license to
use that upgrades / installs from ESM fail.
This workaround simply ensure that there is such a file pinning ESM to never be
used. With that, the creation of our image should succeed again.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives/test33.xml')
0 files changed, 0 insertions, 0 deletions