-
Notifications
You must be signed in to change notification settings - Fork 22
/
dockerfile.df
43 lines (38 loc) · 1.88 KB
/
dockerfile.df
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
FROM debian:stable-slim
# On Linux: replace with your actual UID/GID (if not the default 1000)
ARG USERNAME=pandocthesis
ARG USER_UID=1000
ARG USER_GID=1000
# Pandoc binary as .deb -- see https://github.com/jgm/pandoc/releases/latest
ARG PANDOCDEB=https://github.com/jgm/pandoc/releases/download/2.11.4/pandoc-2.11.4-1-amd64.deb
# Install everything
RUN apt-get update \
#
# Packages: TeX-Live and fonts
&& apt-get install -y --no-install-recommends \
apt-utils bash wget make graphviz biber \
texlive-base texlive-latex-base \
texlive-latex-recommended texlive-latex-extra \
texlive-science texlive-pictures \
texlive-bibtex-extra texlive-lang-english texlive-lang-german \
texlive-font-utils texlive-fonts-recommended texlive-fonts-extra \
fontconfig lmodern ghostscript gsfonts cm-super librsvg2-bin \
#
# Pandoc
&& wget $PANDOCDEB && dpkg -i pandoc* && rm pandoc* \
#
# Avoid running mktexpk in container
&& mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm0900 \
&& mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1728 \
&& mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1095 \
#
# Create a non-root user to use
&& groupadd --gid $USER_GID $USERNAME \
&& useradd -s /bin/bash --uid $USER_UID --gid $USER_GID -m $USERNAME \
#
# Clean-Up
&& apt-get autoremove -y && apt-get clean -y && rm -rf /var/lib/apt/lists/*
# Set working directory
WORKDIR /pandoc
# Set default (non-root) user -- see https://aka.ms/vscode-remote/containers/non-root-user
USER $USERNAME