diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2018-06-28 00:27:17 +0300 |
|---|---|---|
| committer | Christian Höltje <docwhat@gerf.org> | 2018-06-28 01:31:52 +0300 |
| commit | 0b92e915c49a80a670307e84a828c5b89885928d (patch) | |
| tree | 4c3fc77d1a0bb116c871d28e5d16ddafc81763b3 | |
| parent | b9e6e6f32a74f6a177c1367a262411afaf893a20 (diff) | |
Use ubuntu 17.10, as the sources for 17.04 seem to be down
| -rw-r--r-- | docker/base-5.2/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/base-5.2/Dockerfile b/docker/base-5.2/Dockerfile index 1898592c..2ec096fc 100644 --- a/docker/base-5.2/Dockerfile +++ b/docker/base-5.2/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:17.04 +FROM ubuntu:17.10 RUN \ apt-get update && \ |