MiKTeX / docker-miktex-build-debian

the Debian docker image for building MiKTeX

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Debian 12 docker image with MiKTeX build environment

Obtaining the image

Get the latest image from the registry:

docker pull miktex/miktex-build-debian:bookworm

or build it yourself:

docker build --tag miktex/miktex-build-debian:bookworm .

Using the image

Prerequisites

MiKTeX source code must be mounted to the container path /miktex/source and the build directory must be mounted to the container path /miktex/build.

You should specify a user by setting the container environment variables USER_ID and GROUP_ID.

Example

Build the MiKTeX deb package:

mkdir -p ~/work/miktex/source
mkdir -p ~/work/miktex/builds/bookworm
curl -fsSL https://miktex.org/download/ctan/systems/win32/miktex/source/miktex-23.12.tar.xz | \
  tar -xJ --strip-components=1 -C ~/work/miktex/source
docker run -t \
  -v ~/work/miktex/source:/miktex/source:ro \
  -v ~/work/miktex/builds/bookworm:/miktex/build:rw \
  -e USER_ID=`id -u` \
  -e GROUP_ID=`id -g` \
  miktex/miktex-build-debian:bookworm

The build artifact miktex-*.deb will be written to ~/work/miktex/builds/bookworm.

About

the Debian docker image for building MiKTeX


Languages

Language:Dockerfile 59.7%Language:Shell 40.3%