mh-ubuntu1910: Dockerfile contained an unsupport version of docker image

diff --git a/misc/docker/ubuntu-19.10-amd64/Dockerfile b/misc/docker/ubuntu-19.10-amd64/Dockerfile
new file mode 100644 (file)
index 0000000..8119e43
--- /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