From 0a0e3c5ebd835a4d90f47ba47300cd1841845bbc Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Sat, 20 Apr 2019 14:16:14 +0200
Subject: Docker: update Dockerfile and description

---
 Dockerfile | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 Dockerfile

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
deleted file mode 100644
index 929f36a3..00000000
--- a/Dockerfile
+++ /dev/null
@@ -1,27 +0,0 @@
-# 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 debian:stretch
-
-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 debian
-RUN useradd -d /home/debian -ms /bin/bash -g 1000 -u 1000 debian && \
-    echo "debian:debian" | chpasswd && \
-    adduser debian sudo
-
-RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
-
-USER debian
-WORKDIR ~
-- 
cgit v1.2.3