Skip to content

Commit 9f69665

Browse files
committed
initial commit
0 parents  commit 9f69665

File tree

3 files changed

+52
-0
lines changed

3 files changed

+52
-0
lines changed

.dockerignore

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
*\.md

Dockerfile

+50
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
FROM debian:stretch-slim AS build
2+
3+
ARG USERNAME=latex
4+
ARG USERHOME=/home/latex
5+
ARG USERID=1000
6+
ARG USERGECOS=LaTEX
7+
8+
RUN adduser \
9+
--home "$USERHOME" \
10+
--uid $USERID \
11+
--gecos "$USERGECOS" \
12+
--disabled-password \
13+
"$USERNAME"
14+
15+
ARG WGET=wget
16+
ARG GIT=git
17+
ARG MAKE=make
18+
ARG PANDOC=pandoc
19+
ARG PYGMENTS=python-pygments
20+
21+
RUN apt-get update && apt-get install -y \
22+
texlive-full \
23+
# some auxiliary tools
24+
"$WGET" \
25+
"$GIT" \
26+
"$MAKE" \
27+
# markup format conversion tool
28+
"$PANDOC" \
29+
# Required for syntax highlighting using minted.
30+
"$PYGMENTS" && \
31+
# Removing documentation packages *after* installing them is kind of hacky,
32+
# but it only adds some overhead while building the image.
33+
apt-get --purge remove -y .\*-doc$ && \
34+
# Remove more unnecessary stuff
35+
apt-get clean -y
36+
37+
FROM build AS helpers
38+
39+
RUN apt-get install -y \
40+
ssh-client
41+
42+
ENV GIT_SSH_COMMAND="ssh"
43+
44+
# fonts
45+
RUN git clone --depth 1 --branch release https://github.com/adobe-fonts/source-code-pro.git /usr/share/fonts/opentype/scp
46+
RUN fc-cache -f -v /usr/share/fonts/opentype/scp
47+
48+
FROM helpers AS publish
49+
50+
WORKDIR /

README.md

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
# docker-latex

0 commit comments

Comments
 (0)