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.04-amd64 | |
| parent | 82bfee76f0adfd50d51833343c63ba9e2afcb60e (diff) | |
Tests: Change unsupported Ubuntu 19.04 for supported version 19.10
Diffstat (limited to 'misc/docker/ubuntu-19.04-amd64')
| -rw-r--r-- | misc/docker/ubuntu-19.04-amd64/Dockerfile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/misc/docker/ubuntu-19.04-amd64/Dockerfile b/misc/docker/ubuntu-19.04-amd64/Dockerfile deleted file mode 100644 index bb2f72c6..00000000 --- a/misc/docker/ubuntu-19.04-amd64/Dockerfile +++ /dev/null @@ -1,12 +0,0 @@ -FROM ubuntu:19.04 -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 |