diff options
Diffstat (limited to 'misc/docker/ubuntu-20.04-amd64')
| -rw-r--r-- | misc/docker/ubuntu-20.04-amd64/Dockerfile | 29 |
1 files changed, 21 insertions, 8 deletions
diff --git a/misc/docker/ubuntu-20.04-amd64/Dockerfile b/misc/docker/ubuntu-20.04-amd64/Dockerfile index 4b773697..fac1b333 100644 --- a/misc/docker/ubuntu-20.04-amd64/Dockerfile +++ b/misc/docker/ubuntu-20.04-amd64/Dockerfile @@ -1,14 +1,27 @@ FROM ubuntu:20.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 \ - + build-essential \ + flex \ + bison \ + autoconf \ + ncurses-dev \ + libreadline-dev \ + libssh-gcrypt-dev \ + linuxdoc-tools-latex \ + texlive-latex-extra \ + opensp \ + docbook-xsl \ + xsltproc +RUN apt-get -y install \ + git \ + dpkg-dev \ + debhelper \ + apt-utils \ + quilt \ + python3 \ + python3-pip \ + python3-setuptools |