From e6785c469b418785568c33241157d17107afd55c Mon Sep 17 00:00:00 2001 From: Matous Holinka Date: Wed, 29 Apr 2020 16:15:17 +0200 Subject: Tests: Change unsupported Ubuntu 19.04 for supported version 19.10 --- misc/docker/ubuntu-19.04-amd64/Dockerfile | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 misc/docker/ubuntu-19.04-amd64/Dockerfile (limited to 'misc/docker/ubuntu-19.04-amd64') 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 -- cgit v1.2.3