Skip to content

Commit b4e64d6

Browse files
committed
Updates from Overleaf
1 parent 1882953 commit b4e64d6

3 files changed

Lines changed: 42 additions & 0 deletions

File tree

.gitignore

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
2+
.texlive*/
3+
_minted-main/
4+
main*
5+
!main.tex
6+
*.fls
7+

Dockerfile

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
########
2+
# DOCKER_BUILDKIT=1 docker build -t my-texlive-23 .
3+
# docker run -v .:/work --env GU_IDS="$(id -u):$(id -g)" -it my-texlive-23
4+
########
5+
6+
7+
FROM texlive/texlive:TL2022-historic
8+
# FROM registry.gitlab.com/islandoftex/images/texlive:TL2022-historic
9+
10+
WORKDIR /work
11+
CMD bash /work/_docker_run.sh
12+

_docker_run.sh

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
#!/usr/bin/env dont-run-me-directly bash
2+
3+
set -e
4+
5+
if [[ $UID -eq 0 && ! -z "$GU_IDS" ]]
6+
then
7+
# Self-contained bootstrap.
8+
# This is so that the correct gid/uid are set.
9+
U_ID=$(echo $GU_IDS | cut -d: -f1)
10+
G_ID=$(echo $GU_IDS | cut -d: -f2)
11+
12+
id myuser &>/dev/null && userdel myuser
13+
rm -rf /myuser
14+
groupadd myuser -g "$G_ID"
15+
useradd myuser -u "$U_ID" -g "$G_ID" --home /myuser --create-home
16+
su myuser -c "bash $BASH_SOURCE"
17+
exit
18+
fi
19+
20+
latexmk -xelatex -shell-escape ./main.tex
21+
# latexmk -pdf -shell-escape ./main.tex
22+
23+

0 commit comments

Comments
 (0)