diff options
| author | Matous Holinka <matous.holinka@nic.cz> | 2020-04-29 16:15:17 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2020-05-05 02:16:28 +0200 |
| commit | e6785c469b418785568c33241157d17107afd55c (patch) | |
| tree | 990d165167480cc984cab771bd4dfbf86605bd1b /misc/docker/ubuntu-19.10-amd64 | |
| parent | 82bfee76f0adfd50d51833343c63ba9e2afcb60e (diff) | |
Tests: Change unsupported Ubuntu 19.04 for supported version 19.10
Diffstat (limited to 'misc/docker/ubuntu-19.10-amd64')
| -rw-r--r-- | misc/docker/ubuntu-19.10-amd64/Dockerfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/docker/ubuntu-19.10-amd64/Dockerfile b/misc/docker/ubuntu-19.10-amd64/Dockerfile new file mode 100644 index 00000000..8119e439 --- /dev/null +++ b/misc/docker/ubuntu-19.10-amd64/Dockerfile @@ -0,0 +1,12 @@ +FROM ubuntu:19.10 +ENV DEBIAN_FRONTEND noninteractive +RUN sed -i 's/deb.debian.org/ftp.cz.debian.org/' /etc/apt/sources.list +RUN apt-get -y update +RUN apt-get -y upgrade +RUN apt-get -y install \ + autoconf \ + build-essential \ + flex \ + bison \ + ncurses-dev \ + libreadline-dev |