commul/texlive repository overview

See https://gitlab.inf.unibz.it/commul/docker/tools/texlive⁠ for more details.

⁠Usage info for hub.docker.com

To use these docker containers from hub.docker.com the URLs form the examples need to be adjusted:

A URL like gitlab.inf.unibz.it:4567/commul/docker/tools/texlive/2020/full:2021.01, which points to

• the first (01) build of 2021 (2021.01)
• of a TeXLive 2020 version

becomes: commul/texlive:2020-2021.01.

⁠Dockerfile for TeX Live 2019/2020

This is a Dockerfile/Earthly repository of FULL TeX Live installation (but without src/doc/...).

The main repository is:

• https://gitlab.inf.unibz.it/commul/docker/tools/texlive/⁠

The main (internal) container registry is:

• https://gitlab.inf.unibz.it/commul/docker/tools/texlive/container_registry⁠

The (additional) external container registry is:

• https://hub.docker.com/r/commul/texlive⁠

⁠Usage

⁠With docker

The working directory inside the container is /docs and the variable $PWD contains the path of the current directory.

docker run \
  --rm \
  --volume $PWD:/docs \
  --user $(id -u):$(id -g) \
  gitlab.inf.unibz.it:4567/commul/docker/tools/texlive/2020/full:latest \
  pdflatex somedoc.tex

⁠With docker-compose

The docker-compose.yml file defines a service texlive which can be used as follows:

[COMPOSE_USER=$(id -u):$(id -g)] docker-compose run texlive pdflatex somedoc.tex

The docker-compose.yml file defines a service texlive-version which can be used to select different versions as follows:

[COMPOSE_USER=$(id -u):$(id -g)] VERSION=2019/full:latest docker-compose run texlive-version pdflatex --version
pdfTeX 3.14159265-2.6-1.40.20 (TeX Live 2019)

⁠With docker-compose and PATH

With the $(pwd)/bin directory added to the PATH environment:

PATH=$(pwd)/bin:$PATH

pdflatex somedoc.tex

TEXLIVE_VERSION=2019 pdflatex --version

⁠Build & update Docker images

# Clone git repository
$ git clone https://gitlab.inf.unibz.it/commul/docker/tools/texlive
$ cd texlive

$ earthly --push +docker

# OR Update available images (apt-get update and tlmgr update --self )

$ cat 2020/.release
$ earthly --push --build-arg VERSION=2021.01 +docker