From 008377c0ec89b30fc19f27b190c18d9051c7d0ef Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Sun, 7 Oct 2018 14:41:00 +0200
Subject: Add Dockerfile for Ubuntu 18.04 container to build the docs

---
 Dockerfile | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 Dockerfile

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 00000000..bfa02a91
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,27 @@
+# Must be run with --privileged flag
+# Recommended to run the container with a volume mapped
+# in order to easy exprort images built to "external" world
+FROM ubuntu:18.04
+
+RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
+    vim \
+    git \
+    mc \
+    make \
+    python3-sphinx \
+    python-sphinx-rtd-theme \
+    latexmk \
+    texlive-latex-recommended \
+    texlive-fonts-recommended \
+    texlive-latex-extra sudo \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN groupadd -g 1000 ubuntu
+RUN useradd -d /home/ubuntu -ms /bin/bash -g 1000 -u 1000 ubuntu && \
+    echo "ubuntu:ubuntu" | chpasswd && \
+    adduser ubuntu sudo
+
+RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
+
+USER ubuntu
+WORKDIR ~
-- 
cgit v1.2.3