diff options
Diffstat (limited to 'misc/docker/ubuntu-19.04-amd64/Dockerfile')
| -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 |